Handbook of satisfiability  [electronic resource] / 
edited by Armin Biere ... [et al.]. 
 - Amsterdam, The Netherlands ;  Washington, DC :  IOS Press,  c2009. 
 - xiii, 966 p. :  ill. 
 - Frontiers in artificial intelligence and applications,  v. 185  0922-6389 ; .
 - Frontiers in artificial intelligence and applications ;  v. 185. .
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/><label>ISBN: </label>9781607503767 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus--Congresses.<br/>Decision making--Congresses.<br/>Computer algorithms--Congresses.<br/>Algebra, Boolean--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.3  / .H36 2009