Upper and Lower Bounds for Weak Backdoor Set Detection

Abstract

Full Citation:

Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider. Upper and Lower Bounds for Weak Backdoor Set Detection. Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag.

Stefan Szeider

Head of Research Unit

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