Variable Dependencies and Q-Resolution (bibtex)
by ,
Reference:
Variable Dependencies and Q-ResolutionFriedrich Slivovsky, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Carsten Sinz, Uwe Egly, eds.), volume 8561 of Lecture Notes in Computer Science, pages 269-284, 2014, Springer Verlag.
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@inproceedings{SlivovskySzeider14,
  author    = {Friedrich Slivovsky and
               Stefan Szeider},
  title     = {Variable Dependencies and Q-Resolution},
  booktitle = {Theory and Applications of Satisfiability Testing -
                  {SAT} 2014 - 17th International Conference, Held as
                  Part of the Vienna Summer of Logic, {VSL} 2014,
                  Vienna, Austria, July 14-17, 2014. Proceedings},
  pages     = {269-284},
  year      = {2014},
  doi       = {10.1007/978-3-319-09284-3_21},
  editor    = {Carsten Sinz and
               Uwe Egly},
  series    = LNCS,
  volume    = {8561},
  publisher = Springer,
}
Powered by bibtexbrowser