@inproceedings{GaspersMisraOrdyniakSzeiderZivny14,
 author = {Serge Gaspers and
Neeldhara Misra and
Sebastian Ordyniak and
Stefan Szeider and
Stanislav Zivny},
 booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on
Artificial Intelligence, July 27-31, 2014,
Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
 editor = {Carla E. Brodley and
Peter Stone},
 pages = {2652-2658},
 publisher = {{AAAI} Press},
 title = {Backdoors into Heterogeneous Classes of {SAT} and {CSP}},
 year = {2014}
}