Chew, Leroy

Recent Publications

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