Strong Backdoors to Bounded Treewidth SAT

Gaspers, Serge; Szeider, Stefan

doi:10.1109/FOCS.2013.59

by Serge Gaspers, Stefan Szeider

Reference:

Strong Backdoors to Bounded Treewidth SATSerge Gaspers, Stefan Szeider54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 489-498, 2013, IEEE Computer Society.

Bibtex Entry:

@inproceedings{GaspersSzeider13,
  author    = {Serge Gaspers and
               Stefan Szeider},
  title     = {Strong Backdoors to Bounded Treewidth {SAT}},
  pages     = {489-498},
  booktitle     = {54th Annual IEEE Symposium on Foundations of
                  Computer Science, FOCS 2013, 26-29 October, 2013,
                  Berkeley, CA, USA},
  publisher = {IEEE Computer Society},
  year      = {2013},
  doi        ={10.1109/FOCS.2013.59},
}