Computing aperiodic tiling rhythmic canons via SAT models

Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto, Ludovico Pernazza. Computing aperiodic tiling rhythmic canons via SAT models. Constraints, 29(3-4):215-233, December 2024. [doi]

Abstract

Abstract is missing.