Biere, Armin <br/><br/>
Handbook of satisfiability 
Armin Biere 
 - Amsterdam, The Netherlands ;  Washington, DC ;  IOS Press,  c2009. 
 - xiii, 966 p. :  ill. ;  25 cm. 
 - Frontiers in artificial intelligence and applications,  v. 185  0922-6389 ; .
<br/><br/><label>ISBN: </label>9781586039295 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Propositional calculus<br/>Decision making<br/>Computer algorithms<br/>Algebra, Boolean<br/>Algorithmus.<br/>Anwendung.<br/>Berechnungskomplexit�at.<br/>Erf�ullbarkeitsproblem.