Backdoors into Heterogeneous Classes of SAT and CSP

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

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 ZivnyProceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27-31, 2014, Québec City, Québec, Canada. (Carla E. Brodley, Peter Stone, eds.), pages 2652-2658, 2014, AAAI Press.

Bibtex Entry:

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