TY  - BOOK
AU  - Giunchiglia,Enrico
AU  - Walsh,Toby
ED  - SpringerLink (Online service)
TI  - SAT 2005: Satisfiability Research in the Year 2005 
SN  - 9781402055713 (electronic bk.)
AV  - QA76.9.A43 S28 2006
U1  - 004 22
PY  - 2006///
CY  - Dordrecht
PB  - Springer
KW  - Computer algorithms
KW  - Computational complexity
KW  - Propositional calculus
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-4020-5571-3
ER  -