Strong Backdoors to Nested Satisfiability.

Serge Gaspers, Stefan Szeider

Browse the full SAT paper archive.