POPL 2026 (series) / PADL 2026 (series) / PADL 2026: The 28th International Symposium on Practical Aspects of Declarative Languages /
Solving hard combinatorial optimization problems with PyQASP
Answer Set Programming with Quantifiers (ASP(Q)) extends classical ASP to naturally capture problems within the polynomial hierarchy (PH). Recently, the formalism has been enriched with weak constraints to express both local and global optimization criteria, enabling the modeling of problems in $\Delta_{n+1}^P$. In this paper, we present the first implementation of ASP(Q) with global weak constraints, built on top of the state-of-the-art ASP(Q) system PyQASP, based on an upper-bound improving strategy that effectively guides the search toward optimal solutions. Experiments demonstrate that our approach can be effectively applied to solve hard optimization problems.
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 15:30 | |||
14:00 30mTalk | Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic PADL Christian Emil Nielsen IT University of Copenhagen, Mathias Faber Kristiansen IT University of Copenhagen, Patrick Bahr IT University of Copenhagen Pre-print | ||
14:30 30mTalk | Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi PADL Kayo Tei Waseda University, Haruto Mishina Waseda University, Naoki Yamamoto Waseda University, Kazunori Ueda Waseda University DOI Pre-print File Attached | ||
15:00 30mTalk | Solving hard combinatorial optimization problems with PyQASP PADL Damiano Azzolini University of Ferrara, Nicola Leone University of Calabria, Italy, Giuseppe Mazzotta University of Calabria, Fracesco Ricca University of Calabria | ||