Backdoors into Heterogeneous Classes of SAT and CSP

Cite

Text

Gaspers et al. "Backdoors into Heterogeneous Classes of SAT and CSP." AAAI Conference on Artificial Intelligence, 2014. doi:10.1609/AAAI.V28I1.9111

Markdown

[Gaspers et al. "Backdoors into Heterogeneous Classes of SAT and CSP." AAAI Conference on Artificial Intelligence, 2014.](https://mlanthology.org/aaai/2014/gaspers2014aaai-backdoors/) doi:10.1609/AAAI.V28I1.9111

BibTeX

@inproceedings{gaspers2014aaai-backdoors,
  title     = {{Backdoors into Heterogeneous Classes of SAT and CSP}},
  author    = {Gaspers, Serge and Misra, Neeldhara and Ordyniak, Sebastian and Szeider, Stefan and Zivný, Stanislav},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2014},
  pages     = {2652-2658},
  doi       = {10.1609/AAAI.V28I1.9111},
  url       = {https://mlanthology.org/aaai/2014/gaspers2014aaai-backdoors/}
}