TY  - BOOK
AU  - Biere,Armin
AU  - Gomes,Carla
ED  - SAT 2006
TI  - Theory and applications of satisfiability testing -- SAT 2006: 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings 
SN  - 3540372067
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Propositional calculus
KW  - Congresses
KW  - Decision making
KW  - Computer algorithms
KW  - Algebra, Boolean
ER  -