{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:09Z","timestamp":1742913249280,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031080104"},{"type":"electronic","value":"9783031080111"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08011-1_2","type":"book-chapter","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T16:16:42Z","timestamp":1654791402000},"page":"14-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A SAT Encoding to\u00a0Compute Aperiodic Tiling Rhythmic Canons"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4285-8887","authenticated-orcid":false,"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":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2111-3528","authenticated-orcid":false,"given":"Stefano","family":"Gualandi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9743-0573","authenticated-orcid":false,"given":"Greta","family":"Lanzarotto","sequence":"additional","affiliation":[]},{"given":"Ludovico","family":"Pernazza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,10]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1080\/17459730903040709","volume":"3","author":"E Amiot","year":"2009","unstructured":"Amiot, E.: New perspectives on rhythmic canons and the spectral conjecture. J. Math. Music 3(2), 71\u201384 (2009)","journal-title":"J. Math. Music"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1353\/pnm.2011.0018","volume":"49","author":"E Amiot","year":"2011","unstructured":"Amiot, E.: Structures, algorithms, and algebraic tools for rhythmic canons. Perspect. New Music 49(2), 93\u2013142 (2011)","journal-title":"Perspect. New Music"},{"key":"2_CR3","series-title":"The Oxford Handbook of Algorithmic Music","volume-title":"Compositions Created with Constraint Programming","author":"T Anders","year":"2018","unstructured":"Anders, T.: Compositions Created with Constraint Programming. The Oxford Handbook of Algorithmic Music, Oxford University Press, London (2018)"},{"issue":"4","key":"2_CR4","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.: Constraint programming systems for modeling music theories and composition. ACM Comput. Surv. (CSUR) 43(4), 1\u201338 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"2_CR5","unstructured":"Auricchio, G., Ferrarini, L., Lanzarotto, G.: An integer linear programming model for tilings. arXiv preprint. arXiv:2107.04108 (2021)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-45193-8_8","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"O Bailleux","year":"2003","unstructured":"Bailleux, O., Boufkhad, Y.: Efficient CNF encoding of boolean cardinality constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 108\u2013122. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45193-8_8"},{"key":"2_CR7","unstructured":"Chemillier, M., Truchet, C.: Two musical csps. In: CP 01 Workshop on Musical Constraints, pp. 1\u20131 (2001)"},{"key":"2_CR8","volume-title":"A Constraint-Based Logic Program for Generating Polyphonies","author":"F Courtot","year":"1990","unstructured":"Courtot, F.: A Constraint-Based Logic Program for Generating Polyphonies. Michigan Publishing, University of Michigan Library, Ann Arbor, MI (1990)"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2307\/3680335","volume":"12","author":"K Ebcio\u011flu","year":"1988","unstructured":"Ebcio\u011flu, K.: An expert system for harmonizing four-part chorales. Comput. Music J. 12(3), 43\u201351 (1988)","journal-title":"Comput. Music J."},{"key":"2_CR10","unstructured":"Fripertinger, H., Reich, L., et al.: Remarks on Rhythmical Canons. Citeseer (2005)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hiller Jr, L.A., Isaacson, L.M.: Musical composition with a high speed digital computer. In: Audio Engineering Society Convention 9. Audio Engineering Society (1957)","DOI":"10.7551\/mitpress\/4360.003.0004"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-319-94144-8_26","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2018","author":"A Ignatiev","year":"2018","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: PySAT: a Python toolkit for prototyping with SAT oracles. In: Beyersdorff, O., Wintersteiger, C.M. (eds.) SAT 2018. LNCS, vol. 10929, pp. 428\u2013437. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94144-8_26"},{"key":"2_CR13","first-page":"281","volume":"57","author":"MN Kolountzakis","year":"2006","unstructured":"Kolountzakis, M.N., Matolcsi, M.: Complex hadamard matrices and the spectral set conjecture. Collectanea Math. Extra 57, 281\u2013291 (2006)","journal-title":"Collectanea Math. Extra"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1080\/17459730903040899","volume":"3","author":"MN Kolountzakis","year":"2009","unstructured":"Kolountzakis, M.N., Matolcsi, M.: Algorithms for translational tiling. J. Math. Music 3(2), 85\u201397 (2009)","journal-title":"J. Math. Music"},{"key":"2_CR15","unstructured":"Liang, J.H.: Machine learning for SAT solvers. Ph.D. thesis. University of Waterloo, December 2018"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1009897225381","volume":"6","author":"F Pachet","year":"2001","unstructured":"Pachet, F., Roy, P.: Musical harmonization with constraints: a survey. Constraints 6(1), 7\u201319 (2001). https:\/\/doi.org\/10.1023\/A:1009897225381","journal-title":"Constraints"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-24318-4_2","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2015","author":"T Philipp","year":"2015","unstructured":"Philipp, T., Steinke, P.: PBLib \u2013 a library for encoding pseudo-boolean constraints into CNF. In: Heule, M., Weaver, S. (eds.) SAT 2015. LNCS, vol. 9340, pp. 9\u201316. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24318-4_2"},{"issue":"4","key":"2_CR18","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.: A constraint-based approach for annotating music scores with gestural information. Constraints 12(4), 405\u2013428 (2007). https:\/\/doi.org\/10.1007\/s10601-007-9015-y","journal-title":"Constraints"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Vuza, D.T.: sets and regular complementary unending canons (part one, two, three, four). Perspectives of New Music (1991\u201393)","DOI":"10.2307\/833429"},{"key":"2_CR20","unstructured":"Wiggins, G., Harris, M., Smaill, A.: Representing music for analysis and composition. In: Proceedings of the 2nd IJCAI AI\/Music Workshop, pp. 63\u201371 (1989)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1009801426289","volume":"6","author":"D Zimmermann","year":"2001","unstructured":"Zimmermann, D.: Modelling musical structures. Constraints 6(1), 53\u201383 (2001). https:\/\/doi.org\/10.1023\/A:1009801426289","journal-title":"Constraints"}],"container-title":["Lecture Notes in Computer Science","Integration of Constraint Programming, Artificial Intelligence, and Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08011-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T18:31:29Z","timestamp":1727375489000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08011-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031080104","9783031080111"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08011-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CPAIOR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cpaior2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/usc.edu\/cpaior-2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}