Computing Resolution-Path Dependencies in Linear Time (bibtex)
by ,
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},
}
Powered by bibtexbrowser