{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T12:57:40Z","timestamp":1783947460280,"version":"3.55.0"},"reference-count":124,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T00:00:00Z","timestamp":1317427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EPD063612-1"],"award-info":[{"award-number":["EPD063612-1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2011,10]]},"abstract":"<jats:p>Constraint programming is well suited for the computational modeling of music theories and composition: its declarative and modular approach shares similarities with the way music theory is traditionally expressed, namely by a set of rules which describe the intended result. Various music theory disciplines have been modeled, including counterpoint, harmony, rhythm, form, and instrumentation. Because modeling music theories \u201cfrom scratch\u201d is a complex task, generic music constraint programming systems have been proposed that predefine the required building blocks for modeling a range of music theories. After introducing the field and its problems in general, this survey compares these generic systems according to a number of criteria such as the range of music theories these systems support.<\/jats:p>","DOI":"10.1145\/1978802.1978809","type":"journal-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T13:01:58Z","timestamp":1318942918000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Constraint programming systems for modeling music theories and composition"],"prefix":"10.1145","volume":"43","author":[{"given":"Torsten","family":"Anders","sequence":"first","affiliation":[{"name":"University of Plymouth, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo R.","family":"Miranda","sequence":"additional","affiliation":[{"name":"University of Plymouth, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,10,18]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Abelson H. Sussman G. J. and Sussman J. 1985. Structure and Interpretation of Computer Programs. MIT Press Cambridge MA. Abelson H. Sussman G. J. and Sussman J. 1985. Structure and Interpretation of Computer Programs. MIT Press Cambridge MA."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association","author":"Anders T.","year":"2000"},{"key":"e_1_2_1_3_1","unstructured":"Anders T. 2007. Composing music by composing rules: Design and usage of a generic music constraint system. Ph.D. thesis School of Music & Sonic Arts Queen's University Belfast. Anders T. 2007. Composing music by composing rules: Design and usage of a generic music constraint system. Ph.D. thesis School of Music & Sonic Arts Queen's University Belfast."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04579-0_5"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 6th Sound and Music Computing Conference. F. Gouyon, A. Barbosa, and X. Serra, Eds. http:\/\/smc2009","author":"Anders T."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460903322422"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1162\/comj.2010.34.2.25"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Apt K. R. 2003. Principles of Constraint Programming. Cambridge University Press Cambridge. Apt K. R. 2003. Principles of Constraint Programming. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511615320"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 1st Symposium on Music and Computers. http:\/\/www.ircam.fr\/equipes\/repmus\/RMPapers\/Corfou98\/ (accessed 1\/10)","author":"Assayag G.","year":"1998"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892699559896"},{"key":"e_1_2_1_11_1","unstructured":"Bartak R. 1998. On-Line guide to constraints programming. http:\/\/kti.mff.cuni.cz\/~bartak\/constraints\/ (accessed 1\/09). Bartak R. 1998. On-Line guide to constraints programming. http:\/\/kti.mff.cuni.cz\/~bartak\/constraints\/ (accessed 1\/09)."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460802664049"},{"key":"e_1_2_1_13_1","unstructured":"Berlioz H. and Strauss R. 1904. Instrumentationslehre. Edition Peters Leipzig. Berlioz H. and Strauss R. 1904. Instrumentationslehre. Edition Peters Leipzig."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/854260"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Bistarelli S. 2004. Semirings for Soft Constraint Solving and Programming. Springer Berlin. Bistarelli S. 2004. Semirings for Soft Constraint Solving and Programming. Springer Berlin.","DOI":"10.1007\/b95712"},{"key":"e_1_2_1_16_1","unstructured":"Bonnet A. and Rueda C. 1999. OpenMusic. Situation. version 3 3rd Ed. IRCAM Paris. Bonnet A. and Rueda C. 1999. OpenMusic. Situation. version 3 3rd Ed. IRCAM Paris."},{"key":"e_1_2_1_17_1","unstructured":"Boulanger R. 2000. The Csound Book. Perspectives in Software Synthesis Sound Desing Signal Processing and Programming. MIT Press Cambridge MA. Boulanger R. 2000. The Csound Book. Perspectives in Software Synthesis Sound Desing Signal Processing and Programming. MIT Press Cambridge MA."},{"key":"e_1_2_1_18_1","unstructured":"Boulez P. and Nattiez J.-J. 1990. Orientations: Collected Writings. (Translated by Martin Cooper.) Harvard University Press Cambridge MA. Boulez P. and Nattiez J.-J. 1990. Orientations: Collected Writings. (Translated by Martin Cooper.) Harvard University Press Cambridge MA."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 10th Brazilian Symposium on Computer Music. http:\/\/www.cefala.org\/sbcm2005\/papers\/12361","author":"Bresson J."},{"key":"e_1_2_1_20_1","unstructured":"Carlsson M. Widen J. Andersson J. Andersson S. Boortz K. Nilsson H. and Sjoland T. 2009. SICStus Prolog user's manual. Release 4.1.1. http:\/\/www.sics.se\/isl\/sicstuswww\/site\/documentation.html (accessed 1\/10). Carlsson M. Widen J. Andersson J. Andersson S. Boortz K. Nilsson H. and Sjoland T. 2009. SICStus Prolog user's manual. Release 4.1.1. http:\/\/www.sics.se\/isl\/sicstuswww\/site\/documentation.html (accessed 1\/10)."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1162\/comj.2010.34.1.10"},{"key":"e_1_2_1_22_1","volume-title":"Eclipse: An introduction. Tech. rep. IC-PARC-03-1, IC-Parc","author":"Cheadle A. M.","year":"2003"},{"key":"e_1_2_1_23_1","unstructured":"Chemillier M. and Truchet C. 2001. Two musical CSPs. In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming Musical Constraints Workshop. http:\/\/recherche.ircam.fr\/equipes\/repmus\/cpws\/chemillier.ps (accessed 1\/10). Chemillier M. and Truchet C. 2001. Two musical CSPs. In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming Musical Constraints Workshop. http:\/\/recherche.ircam.fr\/equipes\/repmus\/cpws\/chemillier.ps (accessed 1\/10)."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the AAAI Symposium Using Uncertainty in Computation. T. Walsh and C. Gomes, Eds., AAAI Press","author":"Codognet P."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the International Workshop on Heuristics (IWH02)","author":"Codognet P."},{"key":"e_1_2_1_26_1","unstructured":"Conen H. 1991. Formel-Komposition: Zu Karlheinz Stockhausens Musik der siebziger Jahre. Number 1 in K\u00f6lner Schriften zur Neuen Musik. Schott Mainz. Conen H. 1991. Formel-Komposition: Zu Karlheinz Stockhausens Musik der siebziger Jahre. Number 1 in K\u00f6lner Schriften zur Neuen Musik. Schott Mainz."},{"key":"e_1_2_1_27_1","unstructured":"Cooper G. and Meyer L. B. 1960. The Rhythmic Structure of Music. University of Chicago Press Chicago IL. Cooper G. and Meyer L. B. 1960. The Rhythmic Structure of Music. University of Chicago Press Chicago IL."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association","author":"Courtot F.","year":"1990"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2307\/3680940"},{"key":"e_1_2_1_30_1","unstructured":"Dechter R. 2003. Constraint Processing. Morgan Kaufmann San Francisco CA. Dechter R. 2003. Constraint Processing. Morgan Kaufmann San Francisco CA."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 6th IEEE International Conference on Tools with Artificial Intelligence. 432--438","author":"Dent M. J."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 1st International Workshop on Constraint Programming Beyond Finite Integer Domains. F. Azevedo, C. Gervet, and E. Pontelli, Eds. 31--47","author":"Deville Y."},{"key":"e_1_2_1_33_1","unstructured":"Diaz D. and Codognet P. 2001. Design and implementation of the GNU prolog system. J. Funct. Logic Programm. http:\/\/pauillac.inria.fr\/~diaz\/gnu-prolog (accessed 1\/10). Diaz D. and Codognet P. 2001. Design and implementation of the GNU prolog system. J. Funct. Logic Programm. http:\/\/pauillac.inria.fr\/~diaz\/gnu-prolog (accessed 1\/10)."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31845-3_22"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science","volume":"3709","author":"Dooms G."},{"key":"e_1_2_1_36_1","unstructured":"Doty D. B. 2002. The Just Intonation Primer. An Introduction to the Theory and Practice of Just Intonation 3rd Ed. Just Intonation Network San Francisco CA. Doty D. B. 2002. The Just Intonation Primer. An Introduction to the Theory and Practice of Just Intonation 3rd Ed. Just Intonation Network San Francisco CA."},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association","author":"Ebcioglu K.","year":"1980"},{"key":"e_1_2_1_38_1","unstructured":"Ebcioglu K. 1987. Report on the CHORAL project: An expert system for harmonizing four-part chorales. Tech. rep. 12628 IBM Thomas J. Watson Research Center. Ebcioglu K. 1987. Report on the CHORAL project: An expert system for harmonizing four-part chorales. Tech. rep. 12628 IBM Thomas J. Watson Research Center."},{"key":"e_1_2_1_39_1","volume-title":"Bach. In Proceedings of the Conference on Understanding Music with AI: Perspectives on Music Cognition. M. Balaban, K. Ebcioglu, and O. Laske, Eds., MIT Press","author":"Ebcioglu K.","year":"1992"},{"key":"e_1_2_1_40_1","unstructured":"Ferneyhough B. 1995. Collected Writings. (Edited by James Boros and Richard Toop). Routledge London. Ferneyhough B. 1995. Collected Writings. (Edited by James Boros and Richard Toop). Routledge London."},{"key":"e_1_2_1_41_1","unstructured":"Forte A. 1973. The Structure of Atonal Music. Yale University Press New Haven CT. Forte A. 1973. The Structure of Atonal Music. Yale University Press New Haven CT."},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth T. and Abdennadher S. 2003. Essentials of Constraint Programming. Springer Berlin. Fr\u00fchwirth T. and Abdennadher S. 2003. Essentials of Constraint Programming. Springer Berlin.","DOI":"10.1007\/978-3-662-05138-2"},{"key":"e_1_2_1_43_1","unstructured":"Fux J. J. 1965 orig. 1725. The Study of Counterpoint. From Johann Joseph Fux's Gradus ad Parnassum. (Translated and edited by Alfred Mann.) W.W. Norton & Company London. Fux J. J. 1965 orig. 1725. The Study of Counterpoint. From Johann Joseph Fux's Gradus ad Parnassum. (Translated and edited by Alfred Mann.) W.W. Norton & Company London."},{"key":"e_1_2_1_44_1","unstructured":"Gann K. 2006. The Music of Conlon Nancarrow. Cambridge University Press Cambridge UK. Gann K. 2006. The Music of Conlon Nancarrow. Cambridge University Press Cambridge UK."},{"key":"e_1_2_1_45_1","unstructured":"Gervink M. 2003 orig. 1995. Die strukturierung des tonraums. Versuche einer systematisierung von zw\u00f6lftonreihen in den 1920er bis 1970er Jahren. In Systemische Musikwissenschaft. Festschrift Jobst P. Fricke zum 65. Geburtstag. W. Auhagen B. G\u00e4tjen and K. W. Niem\u00f6ller Eds. K\u00f6ln. http:\/\/www.uni-koeln.de\/phil-fak\/muwi\/fricke\/ (accessed 1\/10). Gervink M. 2003 orig. 1995. Die strukturierung des tonraums. Versuche einer systematisierung von zw\u00f6lftonreihen in den 1920er bis 1970er Jahren. In Systemische Musikwissenschaft. Festschrift Jobst P. Fricke zum 65. Geburtstag. W. Auhagen B. G\u00e4tjen and K. W. Niem\u00f6ller Eds. K\u00f6ln. http:\/\/www.uni-koeln.de\/phil-fak\/muwi\/fricke\/ (accessed 1\/10)."},{"key":"e_1_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Glover F. and Laguna M. 1997. Tabu Search. Springer Berlin. Glover F. and Laguna M. 1997. Tabu Search. Springer Berlin.","DOI":"10.1007\/978-1-4615-6089-0"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society Press.","author":"Henz M."},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Hiller L. and Isaacson L. 1993 orig. 1958. Musical composition with a high-speed digital computer. In Machine Models of Music S. M. Schwanauer and D. A. Lewitt Eds. MIT Press Cambridge MA. Hiller L. and Isaacson L. 1993 orig. 1958. Musical composition with a high-speed digital computer. In Machine Models of Music S. M. Schwanauer and D. A. Lewitt Eds. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/4360.003.0004"},{"key":"e_1_2_1_49_1","volume-title":"Counterpoint: The Polyphonic Vocal Style of the Sixteenth Century","author":"Jeppesen K.","year":"1939"},{"key":"e_1_2_1_50_1","unstructured":"Jeppesen K. 1971 orig. 1930. Kontrapunkt 4th ed. Breitkopf & H&auml;\u00e4rtel Leipzig. Jeppesen K. 1971 orig. 1930. Kontrapunkt 4th ed. Breitkopf & H&auml;\u00e4rtel Leipzig."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892600559506"},{"key":"e_1_2_1_52_1","unstructured":"Kelly J. 1997. The Essence of Logic. Prentice Hall Upper Saddle River NJ. Kelly J. 1997. The Essence of Logic. Prentice Hall Upper Saddle River NJ."},{"key":"e_1_2_1_53_1","unstructured":"Koch H. C. 2000 orig. 1782--1793. Versuch einer Anleitung zur Komposition. Georg Olms Verlag Hildesheim. Koch H. C. 2000 orig. 1782--1793. Versuch einer Anleitung zur Komposition. Georg Olms Verlag Hildesheim."},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the PRISMA 01 Conference.","author":"Kretz J.","year":"2003"},{"key":"e_1_2_1_55_1","unstructured":"K\u0159enek E. 1952. Zw\u00f6lfton-Kontrapunkt-Studien. B. Schott's S\u00f6hne Mainz. K\u0159enek E. 1952. Zw\u00f6lfton-Kontrapunkt-Studien. B. Schott's S\u00f6hne Mainz."},{"key":"e_1_2_1_56_1","unstructured":"Laurson M. 1996. PATCHWORK: A visual programming language and some musical applications. Ph.D. thesis Sibelius Academy Helsinki. Laurson M. 1996. PATCHWORK: A visual programming language and some musical applications. Ph.D. thesis Sibelius Academy Helsinki."},{"key":"e_1_2_1_57_1","volume-title":"Proceedings of the Symposium on Systems Research in the Arts.","author":"Laurson M."},{"key":"e_1_2_1_58_1","unstructured":"Laurson M. and Kuuskankare M. 2001. A constraint based approach to musical textures and instrumental writing. In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming Musical Constraints Workshop. http:\/\/recherche.ircam.fr\/equipes\/repmus\/cpws\/laurson.ps (accessed 1\/10). Laurson M. and Kuuskankare M. 2001. A constraint based approach to musical textures and instrumental writing. In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming Musical Constraints Workshop. http:\/\/recherche.ircam.fr\/equipes\/repmus\/cpws\/laurson.ps (accessed 1\/10)."},{"key":"e_1_2_1_59_1","unstructured":"Laurson M. and Kuuskankare M. 2005. Extensible constraint syntax through score accessors. In Journ\u00e9es d'Informatique Musicale. Association Fran\u00e7aise d'Informatique Musicale Paris. Laurson M. and Kuuskankare M. 2005. Extensible constraint syntax through score accessors. In Journ\u00e9es d'Informatique Musicale. Association Fran\u00e7aise d'Informatique Musicale Paris."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1162\/comj.2009.33.1.19"},{"key":"e_1_2_1_61_1","unstructured":"Lerdahl F. and Jackendoff R. 1983. A Generative Theory of Tonal Music. MIT Press Cambridge MA. Lerdahl F. and Jackendoff R. 1983. A Generative Theory of Tonal Music. MIT Press Cambridge MA."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/647619.731933"},{"key":"e_1_2_1_63_1","unstructured":"Messiaen O. 1944. The Technique of My Musical Language. (Translated by John Satterfield.) Alphonse Leduc Paris. Messiaen O. 1944. The Technique of My Musical Language. (Translated by John Satterfield.) Alphonse Leduc Paris."},{"key":"e_1_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Miranda E. R. 2001. Composing Music with Computers. Focal Press Burlington MA. Miranda E. R. 2001. Composing Music with Computers. Focal Press Burlington MA.","DOI":"10.4324\/9780080502403"},{"key":"e_1_2_1_65_1","unstructured":"Monzo J. 2005. Encyclopedia of microtonal music theory. http:\/\/tonalsoft.com\/enc\/encyclopedia.aspx (accessed 1\/10). Monzo J. 2005. Encyclopedia of microtonal music theory. http:\/\/tonalsoft.com\/enc\/encyclopedia.aspx (accessed 1\/10)."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.2307\/843642"},{"key":"e_1_2_1_67_1","unstructured":"Motte D. d. l. 1981. Kontrapunkt. B\u00e4renreiter-Verlag Kassel\/Basel. Motte D. d. l. 1981. Kontrapunkt. B\u00e4renreiter-Verlag Kassel\/Basel."},{"key":"e_1_2_1_68_1","unstructured":"Motte D. d. l. 1993. Melodie. dtv\/B\u00e4renreiter Kassel\/Basel. Motte D. d. l. 1993. Melodie. dtv\/B\u00e4renreiter Kassel\/Basel."},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the XIV Colloquium on Musical Informatics (XIV CIM'03)","author":"Nienhuys H.-W."},{"key":"e_1_2_1_70_1","unstructured":"Ovans R. D. 1990. An object-oriented constraint satisfaction system applied to music composition. M.S. thesis Simon Fraser University. Ovans R. D. 1990. An object-oriented constraint satisfaction system applied to music composition. M.S. thesis Simon Fraser University."},{"key":"e_1_2_1_71_1","unstructured":"Pachet F. 1993. An object-oriented representation of pitch-classes intervals scales and chords: The basic MusES. Tech. rep. LAFORIA-IBP-CNRS Universite Paris VI. Pachet F. 1993. An object-oriented representation of pitch-classes intervals scales and chords: The basic MusES. Tech. rep. LAFORIA-IBP-CNRS Universite Paris VI."},{"key":"e_1_2_1_72_1","volume-title":"Proceedings of the 1st Brazilian Symposium on Computer Music (SBC& M'94)","author":"Pachet F.","year":"1994"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Pachet F. and Codognet P. 2001. Constraints J. 6 1. Pachet F. and Codognet P. 2001. Constraints J. 6 1.","DOI":"10.1023\/A:1009859408542"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1080\/09298219608570707"},{"key":"e_1_2_1_75_1","volume-title":"Proceedings of TOOLS-Europe'95 Conference. I. Graham, B. Magnusson, and J.-M. Nerson, Eds., Prentice-Hall, 119--126","author":"Pachet F."},{"key":"e_1_2_1_76_1","volume-title":"Proceedings of the Workshop on Constraints for Artistic Applications (ECAI'98)","author":"Pachet F."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009897225381"},{"key":"e_1_2_1_78_1","volume-title":"Proceedings of the Conference on Principles and Practice of Constraint Programming (CP'01)","author":"Palamidessi C."},{"key":"e_1_2_1_79_1","volume-title":"Proceedings of the AISB Symposium on Musical Creativity. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10","author":"Papadopoulos G."},{"key":"e_1_2_1_80_1","unstructured":"Partch H. 1974. Genesis of a Music: An Account of a Creative Work Its Roots and Its Fulfillments 2nd Ed. DaCapo Press New York. Partch H. 1974. Genesis of a Music: An Account of a Creative Work Its Roots and Its Fulfillments 2nd Ed. DaCapo Press New York."},{"key":"e_1_2_1_81_1","doi-asserted-by":"crossref","unstructured":"Perle G. 1991. Serial Composition and Atonality: An Introduction to the Music of Schoenberg Berg and Webern. 6th Ed. University of California Press Berkeley CA. Perle G. 1991. Serial Composition and Atonality: An Introduction to the Music of Schoenberg Berg and Webern. 6th Ed. University of California Press Berkeley CA.","DOI":"10.1525\/9780520352971"},{"key":"e_1_2_1_82_1","unstructured":"Phon-Amnuaisuk S. 2001. An explicitly structured control model for exploring search space: Chorale harmonisation in the style of J.S. Bach. Ph.D. thesis Centre for Intelligent Systems and their Application Division of Informatics University of Edinburgh. Phon-Amnuaisuk S. 2001. An explicitly structured control model for exploring search space: Chorale harmonisation in the style of J.S. Bach. Ph.D. thesis Centre for Intelligent Systems and their Application Division of Informatics University of Edinburgh."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/646284.688014"},{"key":"e_1_2_1_84_1","unstructured":"Piston W. 1947. Counterpoint. W. W. Norton New York. Piston W. 1947. Counterpoint. W. W. Norton New York."},{"key":"e_1_2_1_85_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association","author":"Pope S. T.","year":"1992"},{"key":"e_1_2_1_86_1","unstructured":"Rameau J. P. 1984 orig. 1722. Treatise on Harmony (Trait\u00e9 de l'Harmonie R\u00e9duite \u00e0 ses Principes Naturels). Dover New York. translated with and introduction and notes by Philip Gossett. Rameau J. P. 1984 orig. 1722. Treatise on Harmony (Trait\u00e9 de l'Harmonie R\u00e9duite \u00e0 ses Principes Naturels). Dover New York. translated with and introduction and notes by Philip Gossett."},{"key":"e_1_2_1_87_1","volume-title":"Proceedings of the Workshop on Constraints for Artistic Applications (ECAI'98)","author":"Ramirez R."},{"key":"e_1_2_1_88_1","unstructured":"Reich S. 2002. Writings on Music 1965-2000. (Edited by Paul Hillier.) Oxford University Press Oxford UK. Reich S. 2002. Writings on Music 1965-2000. (Edited by Paul Hillier.) Oxford University Press Oxford UK."},{"key":"e_1_2_1_89_1","unstructured":"Riemann H. 1887. Handbuch der Harmonielehre. Breitkopf & H&auml;\u00e4rtel Wiesbaden Germany. Riemann H. 1887. Handbuch der Harmonielehre. Breitkopf & H&auml;\u00e4rtel Wiesbaden Germany."},{"key":"e_1_2_1_90_1","unstructured":"Roads C. 1996. The Computer Music Tutorial. MIT Press Cambridge MA Chapter 18 and 19 819--910. Roads C. 1996. The Computer Music Tutorial. MIT Press Cambridge MA Chapter 18 and 19 819--910."},{"key":"e_1_2_1_91_1","unstructured":"Rossi F. Beek P. V. and Walsh T. 2006. Handbook of Constraint Programming. Elsevier Amsterdam. Rossi F. Beek P. V. and Walsh T. 2006. Handbook of Constraint Programming. Elsevier Amsterdam."},{"key":"e_1_2_1_92_1","first-page":"43","article-title":"Reifying constraint satisfaction in smalltalk","volume":"10","author":"Roy P.","year":"1997","journal-title":"J. Object-Orient. Program."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009849309451"},{"key":"e_1_2_1_94_1","volume-title":"Proceedings of the Workshop on Constraints for Artistic Applications (ECAI'98)","author":"Rueda C."},{"key":"e_1_2_1_95_1","volume-title":"Proceedings of the XXIII Conferencia Latinoamericana de Inform\u00e1tica (CLEI'97)","author":"Rueda C."},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-004-0390-7"},{"key":"e_1_2_1_97_1","volume-title":"Proceedings of the XXIII Conferencia Latinoamericana de Inform\u00e1tica (CLEI'97)","author":"Rueda C."},{"key":"e_1_2_1_98_1","unstructured":"Sandred O. 2000. OMRC 1.1. A Library for Controlling Rhythm by Constraints 2nd Ed. IRCAM Paris. Sandred O. 2000. OMRC 1.1. A Library for Controlling Rhythm by Constraints 2nd Ed. IRCAM Paris."},{"key":"e_1_2_1_99_1","volume-title":"Proceedings of the PRISMA 01 Conference. EuresisEdizioni, Milano.","author":"Sandred O.","year":"2003"},{"key":"e_1_2_1_100_1","volume-title":"Proceedings of the Music and Music Science Conference. www.sandred.com\/Sandred-gestures.pdf (accessed 1\/10)","author":"Sandred O.","year":"2004"},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460903322430"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1162\/comj.2010.34.2.8"},{"key":"e_1_2_1_103_1","volume-title":"Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS'94)","author":"Saraswat V. A."},{"key":"e_1_2_1_104_1","unstructured":"Schenker H. 1956 orig. 1935. Der freie Satz. Universal Edition Wien. Schenker H. 1956 orig. 1935. Der freie Satz. Universal Edition Wien."},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1080\/07494460903322455"},{"key":"e_1_2_1_106_1","unstructured":"Schoenberg A. 1943. Models for Beginners in Composition. Belmont Los Angeles. Schoenberg A. 1943. Models for Beginners in Composition. Belmont Los Angeles."},{"key":"e_1_2_1_107_1","unstructured":"Schoenberg A. 1964. Preliminary Exercises in Counterpoint. St. Martin's Press New York. Schoenberg A. 1964. Preliminary Exercises in Counterpoint. St. Martin's Press New York."},{"key":"e_1_2_1_108_1","unstructured":"Schoenberg A. 1967. Fundamentals of Musical Composition. Ed. Gerald Strang and Leonard Stein. Faber and Faber London. Schoenberg A. 1967. Fundamentals of Musical Composition. Ed. Gerald Strang and Leonard Stein. Faber and Faber London."},{"key":"e_1_2_1_109_1","unstructured":"Schoenberg A. 1969. Structural Functions of Harmony 2nd Ed. W. W. Norton New York. Schoenberg A. 1969. Structural Functions of Harmony 2nd Ed. W. W. Norton New York."},{"key":"e_1_2_1_110_1","unstructured":"Schoenberg A. 1986 orig. 1911. Harmonielehre 7th Ed. Universal Edition Wien. Schoenberg A. 1986 orig. 1911. Harmonielehre 7th Ed. Universal Edition Wien."},{"key":"e_1_2_1_111_1","unstructured":"Schoenberg A. 1995. The Musical Idea and the Logic Technique and Art of Its Presentation. (Edited translated and with a commentary by Patricia Carpenter and Severine Neff.) Columbia University Press New York. Schoenberg A. 1995. The Musical Idea and the Logic Technique and Art of Its Presentation. (Edited translated and with a commentary by Patricia Carpenter and Severine Neff.) Columbia University Press New York."},{"key":"e_1_2_1_112_1","volume-title":"Current Directions in Computer Music Research","author":"Schottstaedt W."},{"key":"e_1_2_1_113_1","volume-title":"Lecture Notes in Artificial Intelligence","volume":"2302","author":"Schulte C.","year":"2002"},{"key":"e_1_2_1_114_1","unstructured":"Schulte C. Tack G. and Lagerkvist M. Z. 2010. Modeling with gecode. http:\/\/www.gecode.org\/doc-latest\/modeling.pdf (accessed 1\/10). Schulte C. Tack G. and Lagerkvist M. Z. 2010. Modeling with gecode. http:\/\/www.gecode.org\/doc-latest\/modeling.pdf (accessed 1\/10)."},{"key":"e_1_2_1_115_1","unstructured":"Selfridge-Field E. 1997. Beyond MIDI. The Handbook of Musical Codes. MIT Press Cambridge MA. Selfridge-Field E. 1997. Beyond MIDI. The Handbook of Musical Codes. MIT Press Cambridge MA."},{"key":"e_1_2_1_116_1","volume-title":"Screamer: A portable efficient implementation of nondeterministic common lisp. Tech. rep. IRCS-93-03","author":"Siskind J. M.","year":"1993"},{"key":"e_1_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.2307\/3681213"},{"key":"e_1_2_1_118_1","unstructured":"Taube H. 2004. Notes from the Metalevel. Swets & Zeitlinger Publishing Lisse The Netherlands. Taube H. 2004. Notes from the Metalevel. Swets & Zeitlinger Publishing Lisse The Netherlands."},{"key":"e_1_2_1_119_1","volume-title":"Proceedings of International Computer Music Conference. International Computer Music Association","author":"Truchet C."},{"key":"e_1_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-004-0389-0"},{"key":"e_1_2_1_121_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association","author":"Tsang C. P."},{"key":"e_1_2_1_122_1","volume-title":"Handbook of Constraint Programming","author":"van Beek P."},{"key":"e_1_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.2307\/3680941"},{"key":"e_1_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009801426289"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978802.1978809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1978802.1978809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:38Z","timestamp":1750244378000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978802.1978809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":124,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["10.1145\/1978802.1978809"],"URL":"https:\/\/doi.org\/10.1145\/1978802.1978809","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10]]},"assertion":[{"value":"2009-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}