2 papers
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…
cs.DM2021
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…