Backdoors into heterogeneous classes of SAT and CSP

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. Backdoors into heterogeneous classes of SAT and CSP. J. Comput. Syst. Sci., 85:38-56, 2017. [doi]

@article{GaspersMOSZ17,
  title = {Backdoors into heterogeneous classes of SAT and CSP},
  author = {Serge Gaspers and Neeldhara Misra and Sebastian Ordyniak and Stefan Szeider and Stanislav Zivny},
  year = {2017},
  doi = {10.1016/j.jcss.2016.10.007},
  url = {http://dx.doi.org/10.1016/j.jcss.2016.10.007},
  researchr = {https://researchr.org/publication/GaspersMOSZ17},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {85},
  pages = {38-56},
}