TY  - DATA
AU  - Giunchiglia,Enrico
AU  - Walsh,Toby
ED  - SpringerLink (Online service)
TI  - SAT 2005: Satisfiability Research in the Year 2005 
SN  - 9781402055713
AV  - QA76.9.A43 G58 2006
PY  - 2006///
CY  - Dordrecht
PB  - Springer
KW  - Cálculo proporcional
KW  - Congresos
KW  - Toma de decisiones
KW  -  Congresos
KW  - Algoritmos computacionales
UR  - http://dx.doi.org/10.1007/978-1-4020-5571-3
ER  -