Backdoors into heterogeneous classes of SAT and CSP - Gaspers, S; Misra, N; Ordyniak, S; Szeider, S; Živný, S (Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014)