3 papers
math.OC2026
The Cloven Traveling Salesman: Cycle Covers and the Integrality Gap of Small ATSP Instances
Alessandro Sosso, Ambrogio Maria Bernardelli, Stefano Gualandi
This work proposes a novel enumeration algorithm for computing the integrality gap of small instances of the subtour elimination formulation for the Asymmetric Traveling Salesman P…
cs.AI2026
Agentic Proving for Program Verification
Alessandro Sosso, Akhil Arora, Bas Spitters
Agentic systems have recently emerged as state-of-the-art approaches for automated theorem proving in formal mathematics. To assess how far these capabilities extend to program ver…
cs.GT2026
Faster Algorithms for the Least-Core value and the Nucleolus in Convex Games
Giacomo Maggiorano, Alessandro Sosso, Gautier Stauffer
The nucleolus is a central solution concept in cooperative game theory. While its computation is NP-hard in general, it can be computed in polynomial time for convex games; however…