Detecting Backdoor Sets with Respect to Horn and Binary Clauses

Abstract

Full Citation:

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider. Detecting Backdoor Sets with Respect to Horn and Binary Clauses. Proceedings of SAT 2004 (Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May, 2004, Vancouver, BC, Canada), pages 96-103, 2004.

Stefan Szeider

Head of Research Unit

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