Variable Dependencies and Q-Resolution

Slivovsky, Friedrich; Szeider, Stefan

doi:10.1007/978-3-319-09284-3_21

by Friedrich Slivovsky, Stefan Szeider

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,
}