Strong Backdoors to Bounded Treewidth SAT (bibtex)
by ,
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},
}
Powered by bibtexbrowser