A SAT encoding to compute aperiodic tiling rhythmic canons

DOI10.1007/978-3-031-08011-1_2zbMath1502.00085arXiv2112.05249OpenAlexW4285237855MaRDI QIDQ2170172

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

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2112.05249

zbMATH Keywords

integer linear programmingSAT encodingmathematical models for musicaperiodic tiling rhythms

Mathematics Subject Classification ID

Integer programming (90C10) Quasicrystals and aperiodic tilings in discrete geometry (52C23) Mathematics and music (00A65) Computational aspects of satisfiability (68R07)

Related Items (1)

An integer linear programming model for tilings

Uses Software

• PBLib
• PySAT

Cites Work

• Unnamed Item
• Complex Hadamard matrices and the spectral set conjecture
• Machine learning-based restart policy for CDCL SAT solvers
• PySAT: a Python toolkit for prototyping with SAT oracles
• Musical harmonization with constraints: A survey
• Modelling musical structures
• A constraint-based approach for annotating music scores with gestural information
• Constraint programming systems for modeling music theories and composition
• New perspectives on rhythmic canons and the spectral conjecture
• Algorithms for translational tiling
• PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
• Principles and Practice of Constraint Programming – CP 2003

This page was built for publication: A SAT encoding to compute aperiodic tiling rhythmic canons