TY  - BOOK
AU  - Bacchus,Fahiem
AU  - Walsh,Toby
TI  - THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
SN  - 3540262768
U1  - 001.64 
PY  - 2005///
CY  - 
PB  - Springer-Verlag, Berlin
KW  - Propositional Calculus -- Congresses
KW  - Decision Making -- Congresses
KW  - Computer Algorithms -- Congresses
UR  - http://link.springer.com/bookseries/558
ER  -