A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gennaro Auricchio' in GoogleThis author has not been identified. Look up 'Luca Ferrarini' in GoogleThis author has not been identified. Look up 'Stefano Gualandi' in GoogleThis author has not been identified. Look up 'Greta Lanzarotto' in GoogleThis author has not been identified. Look up 'Ludovico Pernazza' in Google

runs on WebDSL