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 
T2  - Lecture notes in computer science,
SN  - 3540372067
AV  - QA9.3 S35 2006
U1  - 511.3 22
PY  - 2006///
CY  - Berlin
PB  - Springer Verlag
KW  - Cálculo proposicional
KW  - Congresos
KW  - Toma de decisiones
KW  - Algoritmos computacionales
KW  - Álgebra booleana
ER  -