TY  - BOOK
AU  - Biere,Armin
TI  - Handbook of satisfiability
T2  - Frontiers in artificial intelligence and applications,
SN  - 9781441616784 (electronic bk.)
PY  - 2009///
CY  - Amsterdam, Washington, DC
PB  - IOS Press
KW  - Propositional calculus
KW  - Congresses
KW  - Decision making
KW  - Computer algorithms
KW  - Algebra, Boolean
N1  - Includes bibliographical references and indexes
UR  - http://www.netlibrary.com.libraryumpsa.idm.oclc.org/urlapi.asp?action=summary&v=1&bookid=281413
ER  -