Backdoors into heterogeneous classes of SAT and CSP

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. Backdoors into heterogeneous classes of SAT and CSP. J. Comput. Syst. Sci., 85:38-56, 2017. [doi]

Abstract

Abstract is missing.