TY  - BOOK
AU  - Biere,Armin
ED  - ebrary, Inc.
TI  - Handbook of satisfiability
T2  - Frontiers in artificial intelligence and applications,
AV  - QA9.3 .H36 2009eb
PY  - 2009///
CY  - Amsterdam, The Netherlands, Washington, DC
PB  - IOS Press
KW  - Propositional calculus
KW  - Congresses
KW  - Decision making
KW  - Computer algorithms
KW  - Algebra, Boolean
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and indexes; Electronic reproduction; Palo Alto, Calif.; ebrary; 2011; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/daystar/Doc?id=10309230
ER  -