Strong Backdoors to Nested Satisfiability (bibtex)
by ,
Reference:
Strong Backdoors to Nested SatisfiabilitySerge Gaspers, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{GaspersSzeider12c,
  author       = {Serge Gaspers and Stefan Szeider},
  title	       = {Strong Backdoors to Nested Satisfiability},
  pages	       = {72-85},
  editor       = {Alessandro Cimatti and Roberto Sebastiani},
  booktitle    = {Theory and Applications of Satisfiability Testing -
                  SAT 2012 - 15th International Conference, Trento,
                  Italy, June 17-20, 2012. Proceedings},
  publisher    = Springer,
  series       = LNCS,
  volume       = {7317},
  year	       = {2012},
}
Powered by bibtexbrowser