Backdoor Sets of Quantified Boolean Formulas.

Marko Samer, Stefan Szeider

Browse the full SAT paper archive.