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/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2011. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>
<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 2009eb