Your search returned 2 results.

Results
		Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.) by SAT 2006 (9th : 2006 : Seattle, WA, USA) Biere, Armin Gomes, Carla Series: Lecture notes in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA9.3 .S28 2006. Place hold Log in to add tags Add to cart (remove)
		Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.] by Biere, Armin Series: Frontiers in artificial intelligence and applications ; v. 185 Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam ; Washington, DC : IOS Press, c2009 Online resources: NetLibrary Availability: Items available for reference: UMPLIB GAMBANG: Not for loan (1)Call number: QA9.3 .H36 2009. Log in to add tags Add to cart (remove)

Refine your search