20 citations · 46 across the 11 of their papers we have counts for
Showing 2021 · math.OCShow all
2 papers · 2 filters
math.OC2021
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons
Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi +2
In Mathematical Music theory, the Aperiodic Tiling Complements Problem consists in finding all the possible aperiodic complements of a given rhythm . The complexity of this prob…
math.OC2021
On the generation of Metric TSP instances with a large integrality gap by branch-and-cut
Eleonora Vercesi, Stefano Gualandi, Monaldo Mastrolilli +1
This paper introduces a computational method for generating metric Travelling Salesman Problem (TSP) instances having a large integrality gap. The method is based on the solution o…