1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2025★ 1 cited
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…
cs.DS2023★ 1 cited
Orbits, schemes and dynamic programming procedures for the TSP 4-OPT neighborhood
Giuseppe Lancia, Marcello Dalpasso
We discuss the way to group all 25 possible 4-OPT moves into 7 orbits of equivalent moves. We then describe two implementations, one for a algorithm by de Berg's et al. an…