Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

|
1. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569 : THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

by Bacchus,Fahiem | Walsh,Toby.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,492.Publisher: Springer-Verlag, Berlin 2005Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

2. Handbook of satisfiability

by Biere, Armin [ed.] | Heule, Marjin [ed.] | Maaren, Hans van [ed.] | Walsh, Toby [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 966p.Publisher: Amsterdam IOS Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H191] (1).

Powered by Koha