TY  - GEN
AU  - Biere, Armin
TI  - Handbook of satisfiability
T2  - Frontiers in artificial intelligence and applications,
SN  - 9781586039295
PY  - 2009///
CY  - Amsterdam, The Netherlands, Washington, DC
PB  - IOS Press
KW  - Propositional calculus
KW  - Decision making
KW  - Computer algorithms
KW  - Algebra, Boolean
KW  - Algorithmus
KW  - Anwendung
KW  - Berechnungskomplexit�at
KW  - Erf�ullbarkeitsproblem
ER  -