Volume: Vol-4117 ICLP-WS-DC 2025 | Year: 2025

Paper: « preface | paper_rcra_1 | short_rcra_1 »

Enhancing Compilation-based ASP Solving with Postponed Atom Discovery

• Andrea Cuteri
• Giuseppe Mazzotta
• Francesco Ricca

15-15 PDF