@article{GaspersMisraOrdyniakSzeiderZivny17,
 author = {Serge Gaspers and
Neeldhara Misra and
Sebastian Ordyniak and
Stefan Szeider and
Stanislav Zivny},
 doi = {10.1016/j.jcss.2016.10.007},
 journal = {Journal of Computer and System Sciences},
 pages = {38--56},
 title = {Backdoors into heterogeneous classes of {SAT} and {CSP}},
 url = {http://dx.doi.org/10.1016/j.jcss.2016.10.007},
 volume = {85},
 year = {2017}
}