Long-Distance Q-Resolution with Dependency Schemes

Abstract

Full Citation:

Tom'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider. Long-Distance Q-Resolution with Dependency Schemes. Journal of Automated Reasoning, volume 63, number 1, pages 127-155, 2019.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

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