Local Backbones

Haan, Ronald de; Kanj, Iyad A.; Szeider, Stefan

doi:0.1007/978-3-642-39071-5_28

by Ronald de Haan, Iyad A. Kanj, Stefan Szeider

Reference:

Local BackbonesRonald de Haan, Iyad A. Kanj, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 377-393, 2013, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{DeHaanKanjSzeider13,
  author       = {Ronald de Haan and Iyad A. Kanj and Stefan Szeider},
  title	       = {Local Backbones},
  pages	       = {377-393},
  editor       = {Matti J{\"a}rvisalo and Allen Van Gelder},
  booktitle    = {Theory and Applications of Satisfiability Testing -
                  SAT 2013 - 16th International Conference, Helsinki,
                  Finland, July 8-12, 2013. Proceedings},
  publisher    = Springer,
  series       = LNCS,
  volume       = {7962},
  year	       = {2013},
  url = {http://arxiv.org/abs/1304.5479},
  doi = {0.1007/978-3-642-39071-5_28},
}