De Colnet, Alexis

Recent Publications

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

2024