TY  - BOOK
AU  - Knuth, Donald Ervin
TI  - The art of computer programming: volume 4, fascicle 6,. satisfiability
SN  - 9780134397603
U1  - 005.1 
PY  - 2015///
CY  - Boston
PB  - Addison-Wesley Professional
KW  - Computer programming
KW  - Computer algorithms
N1  - Includes bibliographical references and index
ER  -