TY  - BOOK
AU  - Biere, Armin (Ed.)
AU  - Heule, M; Van Maaren, H; Walsh, T. (Ed.)
TI  - Handbook of Satisfiability
SN  - 9781586039295
U1  - 511.3 
PY  - 2009///
CY  - Amsterdam
PB  - IOS Press
KW  - Propositional calculus
ER  -