Detecting Backdoor Sets with Respect to Horn and Binary Clauses.

Naomi Nishimura, Prabhakar Ragde, Stefan Szeider

Browse the full SAT paper archive.