TY  - BOOK
AU  - Knuth, Donald E.
TI  - Art of Computer Programming, Vol. 4, Fascicle 6: Satisfiability
SN  - 9780134397603
U1  - 005.1 
PY  - 2015///
CY  - Boston
PB  - Pearson Addison-Wesley
KW  - Computer Programming
ER  -