Strong Backdoors to Nested Satisfiability

Gaspers, Serge; Szeider, Stefan

doi:10.1007/978-3-642-31612-8_7

by Serge Gaspers, Stefan Szeider

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},
  doi =   {10.1007/978-3-642-31612-8_7},
}