Giunchiglia, Enrico (ed.); Walsh, Toby (ed.) SAT 2005. Satisfiability Research in the Year 2005. Reprint of J. Autom. Reasoning 35, No. 1-3 (2005). (English) Zbl 1126.68072 Dordrecht: Springer (ISBN 1-4020-4552-2). 300 p. (2006). MSC: 68T20 68T15 68-06 00B15 PDFBibTeX XMLCite \textit{E. Giunchiglia} (ed.) and \textit{T. Walsh} (ed.), SAT 2005. Satisfiability Research in the Year 2005. Reprint of J. Autom. Reasoning 35, No. 1-3 (2005). Dordrecht: Springer (2006; Zbl 1126.68072)
Giunchiglia, Enrico (ed.); Tacchella, Armando (ed.) Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. (English) Zbl 1030.00034 Lecture Notes in Computer Science. 2919. Berlin: Springer. xi, 530 p. (2004). MSC: 00B25 68-06 68T20 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} (ed.) and \textit{A. Tacchella} (ed.), Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers. Berlin: Springer (2004; Zbl 1030.00034) Full Text: DOI Link