Soundness of Q-resolution with dependency schemes

Abstract

Full Citation:

Friedrich Slivovsky, Stefan Szeider. Soundness of Q-resolution with dependency schemes. Theoretical Computer Science, volume 612, pages 83-101, 2016.

Stefan Szeider

Head of Research Unit

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