006.3  / H191 <br/>
       Handbook of satisfiability 
 / edited by Armin Biere...[et al.] 
 .- Amsterdam: IOS Press,  2009 
 .- xiii, 966p . 
.- ( Frontiers In Artificial Intelligence And Applications / edited by J. Breuker   
<br><u>ISBN:</u> 9781586039295 
<br/><u>Subject Headings:</u> <br/>Propositional calculus;
<br/><U>Author Added Entry: </u><br/>Biere, Armin [ed.];<br/>Heule, Marjin [ed.];<br/>Maaren, Hans van [ed.];<br/>Walsh, Toby [ed.];
<br><U>Copy Details:</u><br> Acc. No.: <b>A166968</b>, Full Call No.: 006.3 H191,   Item type:  Books , Location: Reference, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>