Backdoors into Heterogeneous Classes of SAT and CSP. Gaspers, S., Misra, N., Ordyniak, S., Szeider, S., & Zivny, S. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pages 2652--2658, 2014.
Backdoors into Heterogeneous Classes of SAT and CSP [link]Paper  bibtex   
@inproceedings{DBLP:conf/aaai/GaspersMOSZ14,
  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.},
  pages     = {2652--2658},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8177},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/aaai/GaspersMOSZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0