Knuth, Donald Ervin <br/><br/>
The art of computer programming :  volume 4, fascicle 6,. satisfiability 

 - Boston :  Addison-Wesley Professional,  ©2015. 
 - viii, 310 p. :  ill. ;  23 cm (Paperback) 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780134397603 
<br/><br/><label>Subjects--Index Terms: </label>Computer programming Computer algorithms 
<br/><br/><label>Dewey Class. No.: </label>005.1  / KNU / DST