Computing aperiodic tiling rhythmic canons via SAT models

DOI10.1007/S10601-024-09375-6MaRDI QIDQ7018065zbMATH OpenFDO

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

Publication date 5 March 2025

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10601-024-09375-6

zbMATH Keywords

aperiodic tiling rhythmsinteger linear programmingmathematical models for musicSAT encoding

Mathematics Subject Classification ID

Mathematics and music (00A65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Integer programming (90C10)

Cites work

• A constraint-based approach for annotating music scores with gestural information
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Algorithms for translational tiling
• An integer linear programming model for tilings
• Complex Hadamard matrices and the spectral set conjecture
• Constraint programming systems for modeling music theories and composition
• Efficient CNF encoding of Boolean cardinality constraints
• Extended Vuza canons
• scientific article; zbMATH DE number 5127224 (Why is no real title available?)
• scientific article; zbMATH DE number 5257131 (Why is no real title available?)
• Machine learning-based restart policy for CDCL SAT solvers
• Modelling musical structures
• Musical harmonization with constraints: A survey
• New perspectives on rhythmic canons and the spectral conjecture
• PBLib -- a library for encoding pseudo-Boolean constraints into CNF
• PySAT: a Python toolkit for prototyping with SAT oracles

This page was built for publication: Computing aperiodic tiling rhythmic canons via SAT models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7018065)