Gaspers, S.; Misra, N.; Ordyniak, S.; Szeider, S.; Zivny, S. Backdoors into Heterogeneous Classes of SAT and CSP. AAAI 2014, 28.