Computing Resolution-Path Dependencies in Linear Time

Slivovsky, Friedrich; Szeider, Stefan

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

by Friedrich Slivovsky, Stefan Szeider

Reference:

Computing Resolution-Path Dependencies in Linear TimeFriedrich Slivovsky, 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 58-71, 2012, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{SlivovskySzeider12,
  author       = {Friedrich Slivovsky and Stefan Szeider},
  title	       = {Computing Resolution-Path Dependencies in Linear
                  Time},
  pages	       = {58-71},
  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_6},
}