TY  - RPRT
TI  - A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons
AU  - Gennaro Auricchio
AU  - Luca Ferrarini
AU  - Stefano Gualandi
AU  - Greta Lanzarotto
AU  - Ludovico Pernazza
PY  - 2021
UR  - https://arxiv.org/abs/2112.05249
ID  - 2112.05249
ER  -