Backdoor Sets for DLL Subsolvers

Abstract

Full Citation:

Stefan Szeider. Backdoor Sets for DLL Subsolvers. Journal of Automated Reasoning, volume 35, number 1-3, pages 73-88, 2005. (Note: Reprinted as Chapter 4 of the book SAT 2005 - Satisfiability Research in the Year 2005, edited by E. Giunchiglia and T. Walsh, Springer Verlag, 2006)

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.