ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP

Abstract

Full Citation:

Chew, Leroy, de Colnet, Alexis, Szeider, Stefan. ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 253-263, 8 2024.

Stefan Szeider

Head of Research Unit

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