A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.

Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto, Ludovico Pernazza

Browse the full CPAIOR paper archive.