41 citations · 48 across the 7 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…
Facets of the Total Matching Polytope for bipartite graphs
Luca Ferrarini
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families o…
An Integer Linear Programming Model for Tilings
Gennaro Auricchio, Luca Ferrarini, Greta Lanzarotto
In this paper, we propose an Integer Linear Model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how this model can be used to efficiently check th…
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…