Backdoors to Acyclic SAT

Gaspers, Serge; Szeider, Stefan

doi:10.1007/978-3-642-31594-7_31

by Serge Gaspers, Stefan Szeider

Reference:

Backdoors to Acyclic SATSerge Gaspers, Stefan SzeiderAutomata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, eds.), volume 7391 of Lecture Notes in Computer Science, pages 363-374, 2012, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{GaspersSzeider12b,
  author       = {Serge Gaspers and Stefan Szeider},
  title	       = {Backdoors to Acyclic {SAT}},
  pages	       = {363-374},
  editor       = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts
                  and Roger Wattenhofer},
  booktitle    = {Automata, Languages, and Programming - 39th
                  International Colloquium, ICALP 2012, Warwick, UK,
                  July 9-13, 2012, Proceedings, Part I},
  publisher    = Springer,
  series       = LNCS,
  volume       = {7391},
  year	       = {2012},
  doi          = {10.1007/978-3-642-31594-7_31},
}