TY  - BOOK
AU  - Donald E. Knuth
TI  - The art of computer programming. Volume 4, fascicle 6 : satisfiability
T2  - Newly available section of the classic work
SN  - 9780134397603
U1  - 005.1 
PY  - 2015///
CY  - Boston
PB  - Addison-Wesley
KW  - Computer programming; Computer algorithms
ER  -