S. Gaspers, N. Misra, S. Ordyniak, S. Szeider, and S. Zivny, “Backdoors into Heterogeneous Classes of SAT and CSP”, AAAI, vol. 28, no. 1, Jun. 2014.