Guiding SAT diagnosis with tree decompositions (2003)

by P Bjesse, J Kukula, R Damiano, T Stanion, Y Zhu
Venue:In SAT