Guiding SAT diagnosis with tree decompositions (2004)

by P Bjesse, J Kukula, R Damiano, T Stanion, Y Zhu
Venue:Tacchella (Eds.), Theory and Applications of Satisfiability Testing: Sixth International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003, Selected Revised Papers, Lecture Notes in Computer Science