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.) 
 - Berlin :  Springer,  2006 
 - 438. :  ill. ;  24 cm. 
 - Lecture notes in computer science,  4121 .
<br/><br/><label>ISBN: </label>3540372067 9783540372066 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus--Congresses<br/>Decision making--Congresses<br/>Computer algorithms--Congresses<br/>Algebra, Boolean--Congresses