TY  - BOOK
AU  - Marek, Victor W
TI  - Introduction to Mathematics of Satisfiability
SN  - 9781439801673
U1  - 511.3 
PY  - 2009///
CY  - Boca Raton
PB  - CRC Press
KW  - Mathematics
ER  -