Variable Dependencies and Q-Resolution

Abstract

Full Citation:

Friedrich Slivovsky, Stefan Szeider. Variable Dependencies and Q-Resolution. 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 (Carsten Sinz and Uwe Egly), volume 8561 of Lecture Notes in Computer Science, pages 269-284, 2014, Springer Verlag.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.