Strong Backdoors to Bounded Treewidth SAT.

Serge Gaspers, Stefan Szeider

Browse the full FOCS paper archive.