Serge Gaspers Neeldhara Misra Sebastian Ordyniak Stefan Szeider Stanislav Zivný Backdoors into heterogeneous classes of SAT and CSP. 38-56 2017 85 J. Comput. Syst. Sci. https://doi.org/10.1016/j.jcss.2016.10.007 db/journals/jcss/jcss85.html#GaspersMOSZ17