Auricchio, Ferrarini, Gualandi, Lanzarotto, Pernazza, 2021. A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.