Backdoors into heterogeneous classes of SAT and CSP (Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014)

(untitled) - Gaspers, S; Misra, N; Ordyniak, S; Szeider, S; Živný, S