{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:17:38Z","timestamp":1740122258880,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T00:00:00Z","timestamp":1731369600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T00:00:00Z","timestamp":1731369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e1 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100017336","name":"Dipartimenti di Eccellenza","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100017336","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012740","name":"Gruppo Nazionale per l\u2019Analisi Matematica, la Probabilit\u00e1 e le loro Applicazioni","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012740","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Institute for Advanced Mathematical Research (IRMA), University of Strasbourg"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10601-024-09375-6","type":"journal-article","created":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T09:47:59Z","timestamp":1731404879000},"page":"215-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing aperiodic tiling rhythmic canons via SAT models"],"prefix":"10.1007","volume":"29","author":[{"given":"Gennaro","family":"Auricchio","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8903-2871","authenticated-orcid":false,"given":"Luca","family":"Ferrarini","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Gualandi","sequence":"additional","affiliation":[]},{"given":"Greta","family":"Lanzarotto","sequence":"additional","affiliation":[]},{"given":"Ludovico","family":"Pernazza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,12]]},"reference":[{"key":"9375_CR1","doi-asserted-by":"crossref","unstructured":"Hiller\u00a0Jr, L. A., & Isaacson, L. M. (1957). Musical composition with a high speed digital computer. In: Audio Engineering Society Convention 9. Audio Engineering Society","DOI":"10.7551\/mitpress\/4360.003.0004"},{"key":"9375_CR2","unstructured":"Wiggins, G., Harris, M., & Smaill, A. (1989). Representing music for analysis and composition. In: Proceedings of the 2nd IJCAI AI\/Music Workshop, pp. 63\u201371"},{"issue":"1","key":"9375_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1009801426289","volume":"6","author":"D Zimmermann","year":"2001","unstructured":"Zimmermann, D. (2001). Modelling musical structures. Constraints, 6(1), 53\u201383.","journal-title":"Constraints"},{"key":"9375_CR4","unstructured":"Chemillier, M., & Truchet, C. (2001). Two musical CSPs. In: CP 01 Workshop on Musical Constraints, pp. 1\u20131"},{"key":"9375_CR5","volume-title":"A Constraint-based Logic Program for Generating Polyphonies","author":"F Courtot","year":"1990","unstructured":"Courtot, F. (1990). A Constraint-based Logic Program for Generating Polyphonies. Ann Arbor, MI: Michigan Publishing, University of Michigan Library, Michigan."},{"issue":"3","key":"9375_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2307\/3680335","volume":"12","author":"K Ebcio\u011flu","year":"1988","unstructured":"Ebcio\u011flu, K. (1988). An expert system for harmonizing four-part chorales. Comput. Music. J., 12(3), 43\u201351.","journal-title":"Comput. Music. J."},{"issue":"4","key":"9375_CR7","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10601-007-9015-y","volume":"12","author":"DP Radicioni","year":"2007","unstructured":"Radicioni, D. P., & Lombardo, V. (2007). A constraint-based approach for annotating music scores with gestural information. Constraints, 12(4), 405\u2013428.","journal-title":"Constraints"},{"issue":"4","key":"9375_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1978802.1978809","volume":"43","author":"T Anders","year":"2011","unstructured":"Anders, T., & Miranda, E. R. (2011). Constraint programming systems for modeling music theories and composition. ACM Computing Surveys (CSUR)., 43(4), 1\u201338.","journal-title":"ACM Computing Surveys (CSUR)."},{"key":"9375_CR9","doi-asserted-by":"crossref","unstructured":"Anders, T. (2018). Compositions created with constraint programming. The Oxford Handbook of Algorithmic Music.","DOI":"10.1093\/oxfordhb\/9780190226992.013.5"},{"issue":"1","key":"9375_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1009897225381","volume":"6","author":"F Pachet","year":"2001","unstructured":"Pachet, F., & Roy, P. (2001). Musical harmonization with constraints: A survey. Constraints, 6(1), 7\u201319.","journal-title":"Constraints"},{"key":"9375_CR11","first-page":"43","volume":"106","author":"E Amiot","year":"2005","unstructured":"Amiot, E. (2005). A propos des canons rythmiques. Gaz. Math., 106, 43\u201367.","journal-title":"Gaz. Math."},{"issue":"2","key":"9375_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1080\/17459730903040899","volume":"3","author":"MN Kolountzakis","year":"2009","unstructured":"Kolountzakis, M. N., & Matolcsi, M. (2009). Algorithms for translational tiling. Journal of Mathematics and Music., 3(2), 85\u201397.","journal-title":"Journal of Mathematics and Music."},{"key":"9375_CR13","doi-asserted-by":"crossref","unstructured":"Auricchio, G., Ferrarini, L., & Lanzarotto, G. (2023). An integer linear programming model for tilings. Journal of Mathematics and Music, pp. 1\u201317","DOI":"10.1080\/17459737.2023.2180812"},{"key":"9375_CR14","doi-asserted-by":"crossref","unstructured":"Auricchio, G., Ferrarini, L., Gualandi, S., Lanzarotto, G., & Pernazza, L. (2022). A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons. In: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer, pp. 14\u201323.","DOI":"10.1007\/978-3-031-08011-1_2"},{"key":"9375_CR15","doi-asserted-by":"crossref","unstructured":"Auricchio, G., Ferrarini, L., Gualandi, S., Lanzarotto, G., & Pernazza, L. (2022). A SAT encoding to compute aperiodic tiling rhythmic canons. In: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer, pp. 14\u201323.","DOI":"10.1007\/978-3-031-08011-1_2"},{"issue":"2","key":"9375_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1353\/pnm.2011.0018","volume":"49","author":"E Amiot","year":"2011","unstructured":"Amiot, E. (2011). Structures, algorithms, and algebraic tools for rhythmic canons. Perspectives of new music., 49(2), 93\u2013142.","journal-title":"Perspectives of new music."},{"key":"9375_CR17","unstructured":"Kolountzakis, M. N., & Matolcsi, M. (2006). Complex Hadamard matrices and the spectral set conjecture. Collectanea Mathematica. Extra, pp. 281\u2013291"},{"key":"9375_CR18","doi-asserted-by":"crossref","unstructured":"Bailleux, O., & Boufkhad, Y. (2003). Efficient cnf encoding of boolean cardinality constraints. In: International Conference on Principles and Practice of Constraint Programming, Springer, pp. 108\u2013122.","DOI":"10.1007\/978-3-540-45193-8_8"},{"key":"9375_CR19","doi-asserted-by":"crossref","unstructured":"Philipp, T., & Steinke, P. (2015). Pblib\u2013a library for encoding pseudo-boolean constraints into cnf. In: International Conference on Theory and Applications of Satisfiability Testing, Springer, pp. 9\u201316.","DOI":"10.1007\/978-3-319-24318-4_2"},{"key":"9375_CR20","doi-asserted-by":"crossref","unstructured":"Vuza, D. T. (1991\u201393). Supplementary sets and regular complementary unending canons (part one, two, three, four). Perspectives of New Music.","DOI":"10.2307\/833429"},{"key":"9375_CR21","unstructured":"Fripertinger, H., & Reich, L., et al. (2005). Remarks on rhythmical canons, pp. 73\u201390."},{"issue":"2","key":"9375_CR22","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1080\/17459730903040709","volume":"3","author":"E Amiot","year":"2009","unstructured":"Amiot, E. (2009). New perspectives on rhythmic canons and the spectral conjecture. Journal of Mathematics and Music., 3(2), 71\u201384.","journal-title":"Journal of Mathematics and Music."},{"key":"9375_CR23","doi-asserted-by":"crossref","unstructured":"Ignatiev, A., Morgado, A., & Marques-Silva, J. (2018). PySAT: A Python toolkit for prototyping with SAT oracles. In: SAT, pp. 428\u2013437.","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"9375_CR24","unstructured":"Liang, J. H. (2018). Machine learning for SAT solvers. PhD thesis, University of Waterloo."},{"key":"9375_CR25","doi-asserted-by":"crossref","unstructured":"Lanzarotto, G., & Pernazza, L. (2022). Extended vuza canons. In: Mathematics and Computation in Music: 8th International Conference, MCM 2022, Atlanta, GA, USA, Springer, June 21\u201324, 2022, Proceedings, pp. 112\u2013126.","DOI":"10.1007\/978-3-031-07015-0_10"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-024-09375-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10601-024-09375-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-024-09375-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:20:42Z","timestamp":1737375642000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10601-024-09375-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,12]]},"references-count":25,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["9375"],"URL":"https:\/\/doi.org\/10.1007\/s10601-024-09375-6","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2024,11,12]]},"assertion":[{"value":"21 October 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}