Backdoors into heterogeneous classes of SAT and CSP

Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Zivny, Stanislav

doi:10.1016/j.jcss.2016.10.007

by Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny

Reference:

Backdoors into heterogeneous classes of SAT and CSPSerge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav ZivnyJournal of Computer and System Sciences, volume 85, pages 38–56, 2017.

Bibtex Entry:

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