Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto, Ludovico Pernazza. A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons. In Pierre Schaus, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings. Volume 13292 of Lecture Notes in Computer Science, pages 14-23, Springer, 2022. [doi]
Abstract is missing.