TY  - BOOK
AU  - Biere,Armin
ED  - ProQuest (Firm)
TI  - Handbook of satisfiability
T2  - Frontiers in artificial intelligence and applications,
SN  - 9781607503767
AV  - QA9.3 .H36 2009
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
N1  - Includes bibliographical references and indexes
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=448770
ER  -