Detecting Backdoor Sets with Respect to Horn and Binary Clauses

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
January 2004
PDF Cite
Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

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