Upper and Lower Bounds for Weak Backdoor Set Detection (bibtex)
by , , ,
Reference:
Upper and Lower Bounds for Weak Backdoor Set DetectionNeeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, 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 394-402, 2013, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{MisraOrdyniakRamanSzeider13,
  author       = {Neeldhara Misra and Sebastian Ordyniak and Venkatesh
                  Raman and Stefan Szeider},
  title	       = {Upper and Lower Bounds for Weak Backdoor Set
                  Detection},
  pages	       = {394-402},
  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},
}
Powered by bibtexbrowser