Amiot, E. 2009. New perspectives on rhythmic canons and the spectral conjecture. Journal of Mathematics and Music, 3(2): 71–84.
Anders, T. 2018. Compositions created with constraint programming. Chapter 10 of the Oxford Handbook of Algorithmic Music.
Anders, T.; and Miranda, E. R. 2011. Constraint programming systems for modeling music theories and composition. ACM Computing Surveys, 43(4): 1–38.
Auricchio, G.; Ferrarini, L.; Gualandi, S.; Lanzarotto, G.; and Pernazza, L. 2024. Computing aperiodic tiling rhythmic canons via SAT models. Constraints, 29(3-4): 215–233.
Auricchio, G.; Ferrarini, L.; and Lanzarotto, G. 2023. An integer linear programming model for tilings. Journal of Mathematics and Music, 17(3): 514–530.
Bessiere, C.; Hebrard, E.; Hnich, B.; Kiziltan, Z.; and Walsh, T. 2006. Filtering Algorithms for the NValue Constraint. Constraints, 11(4): 271–293.
Carlsson, M.; and Beldiceanu, N. 2002. Revisiting the lexicographic ordering constraint. Technical Report T2002-17, Swedish Institute of Computer Science.
Demeulenaere, J.; Hartert, R.; Lecoutre, C.; Perez, G.; Perron, L.; Régin, J.-C.; and Schaus, P. 2016. Compact-Table: efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. In Proceedings of CP’16, 207–223.
Fripertinger, H. 2005. Remarks on rhythmical canons. In Proceedings of Colloquium on mathematical music theory, 73–90.
Frisch, A.; Hnich, B.; Kiziltan, Z.; Miguel, I.; and Walsh, T. 2002. Global constraints for lexicographic orderings. In Proceedings of CP’02, 93–108.
Gent, I.; Miguel, I.; and Nightingale, P. 2008. Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artificial Intelligence, 172(18): 1973–2000.
Hiller, L. A.; and Isaacson, L. M. 1957. Musical composition with a high speed digital computer. Audio Engineering Society Convention 9.
Kolountzakis, M. N.; and Matolcsi, M. 2009. lgorithms for translational tiling Supplementary sets and regular complementary unending canons (four parts). Journal of Mathematics and Music, 3(2): 85–97.
Lecoutre, C. 2011. STR2: Optimized Simple Tabular Reduction for Table Constraints. Constraints, 16(4): 341–371.
Lecoutre, C. 2023. ACE, a generic constraint solver. Technical Report arXiv:2302.05405, CoRR. Https://arxiv.org/abs/2302.05405.
Lecoutre, C.; and Szczepanski, N. 2020. PyCSP3: Modeling Combinatorial Constrained Problems in Python. Technical Report arXiv:2009.00326, CoRR. Https://arxiv.org/abs/2009.00326.
Lyndon, R. C. 1954. On Burnside’s problem. Trans. Amer. Math. Soc., 77: 202–215.
Möder, F.; Jablonski, K.; Letcher, B.; Hall, M.; Tomkins-Tinch, C.; Sochat, V.; Forster, J.; Lee, S.; Twardziok, S.; Kanitz, A.; Wilm, A.; Holtgrewe, M.; Rahmann, S.; Nahnsen, S.; and Köter, J. 2021. Sustainable data analysis with Snakemake [version 1; peer review: 1 approved, 1 approved with reservations]. F1000Research, 10(33).
Pachet, F.; and Roy, P. 2001. Musical harmonization with constraints: A survey. Constraints, 6(1): 7–19.
Pachet, F.; Roy, P.; Papadopoulos, A.; and Sakellariou, J. 2015. Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint. In Proceedings of IJCAI’15, 2482–2488.
Régin, J.-C. 1994. A filtering algorithm for constraints odifference in CSPs. In Proceedings of AAAI’94, 362–367.
Sandred, O. 2010. PWMC, a Constraint-Solving System for Generating Music Scores. Computer Music Journal, 34(2): 8–24.
Truchet, C.; and Codognet, P. 2004. Musical constraint satisfaction problems solved with adaptive search. Soft Computing, 8(9): 633–640.
van Hoeve, W. 2001. The Alldifferent Constraint: a Survey. In Proceedings of the Sixth Annual Workshop of the ERCIM Working Group on Constraints.
Verhaeghe, H.; Lecoutre, C.; and Schaus, P. 2017. Extending Compact-Table to Negative and Short Tables. In Proceedings of AAAI’17, 3951–3957.
Vuza, D. 1991-93. Supplementary sets and regular complementary unending canons (four parts). Perspectives of New Music.
Zimmermann, D. 2001. Modelling musical structures. Constraints, 6(1): 53–83.
