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