8 citations · 10 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
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…
Total Coloring and Total Matching: Polyhedra and Facets
Luca Ferrarini, Stefano Gualandi
A total coloring of a graph is an assignment of colors to vertices and edges such that neither two adjacent vertices nor two incident edges get the same color, and, fo…
The Gene Mover's Distance: Single-cell similarity via Optimal Transport
Riccardo Bellazzi, Andrea Codegoni, Stefano Gualandi +2
This paper introduces the Gene Mover's Distance, a measure of similarity between a pair of cells based on their gene expression profiles obtained via single-cell RNA sequencing. Th…