Upper and Lower Bounds for Weak Backdoor Set Detection.

Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider

Browse the full SAT paper archive.