Backdoors into Heterogeneous Classes of SAT and CSP.

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivn

Browse the full AAAI paper archive.