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