TY  - BOOK
AU  - Giunchiglia, Enrico
AU  - Tacchella, Armando Eds.,
TI  - Theory and applications of satisfiability testing
SN  - 3540208518
CY  - Berlin
ER  -