2 papers
cs.AI2026
Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and its variants in Constraint Logic Programming
Alessandro Bertagnon, Marco Gavanelli
The Traveling Salesperson Problem (TSP) is one of the best-known problems in computer science and arises in many engineering applications, such as smart vehicles and intelligent tr…
cs.AI2025
Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli +1
In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents t…