{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:11:38Z","timestamp":1748578298934,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232188"},{"type":"electronic","value":"9783319232195"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23219-5_24","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T10:17:33Z","timestamp":1439374653000},"page":"341-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Exact Sampling for Regular and Markov Constraints with Belief Propagation"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Papadopoulos","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Pachet","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Roy","sequence":"additional","affiliation":[]},{"given":"Jason","family":"Sakellariou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"24_CR1","unstructured":"Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16\u201320, 2006, Boston, Massachusetts, USA. AAAI Press (2006)"},{"key":"24_CR2","unstructured":"Barbieri, G., Pachet, F., Roy, P., Esposti, M.D.: Markov constraints for generating lyrics with style. In: Raedt, L.D., Bessi\u00e8re, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) Frontiers in Artificial Intelligence and Applications, ECAI, vol. 242, pp. 115\u2013120. IOS Press (2012)"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1145\/2402.322389","volume":"30","author":"C Beeri","year":"1983","unstructured":"Beeri, C., Fagin, R., Maier, D., Yannakakis, M.: On the Desirability of Acyclic Database Schemes. J. ACM 30(3), 479\u2013513 (1983)","journal-title":"J. ACM"},{"key":"24_CR4","unstructured":"Bimbot, F., Deruty, E., Sargent, G., Vincent, E.: Semiotic structure labeling of music pieces: Concepts, methods and annotation conventions. In: Gouyon, F., Herrera, P., Martins, L.G., M\u00fcller, M. (eds.) Proceedings of the 13th International Society for Music Information Retrieval Conference, ISMIR 2012, Mosteiro S.Bento Da Vit\u00f3ria, Porto, Portugal, October 8\u201312, 2012, pp. 235\u2013240. FEUP Edi\u00e7\u00f5es (2012). http:\/\/ismir2012.ismir.net\/event\/papers\/235-ismir-2012.pdf"},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1109\/TEC.1957.5222016","volume":"6","author":"FP Brooks","year":"1957","unstructured":"Brooks, F.P., Hopkins, A., Neumann, P.G., Wright, W.: An experiment in musical composition. IRE Transactions on Electronic Computers 6(3), 175\u2013182 (1957)","journal-title":"IRE Transactions on Electronic Computers"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","volume":"38","author":"R Dechter","year":"1989","unstructured":"Dechter, R., Pearl, J.: Tree Clustering for Constraint Networks. Artif. Intell. 38(3), 353\u2013366 (1989)","journal-title":"Artif. Intell."},{"key":"24_CR7","unstructured":"Domingos, P.M., Kok, S., Poon, H., Richardson, M., Singla, P.: Unifying logical and statistical AI. In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16\u201320, 2006, Boston, Massachusetts, USA [1], pp. 2\u20139. http:\/\/www.aaai.org\/Library\/AAAI\/2006\/aaai06-001.php"},{"key":"24_CR8","unstructured":"Ermon, S., Gomes, C.P., Selman, B.: Uniform solution sampling using a constraint solver as an oracle. In: de Freitas, N., Murphy, K.P. (eds.) Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14\u201318, 2012, pp. 255\u2013264. AUAI Press (2012). https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2288&proceeding_id=28"},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"EC Freuder","year":"1982","unstructured":"Freuder, E.C.: A Sufficient Condition for Backtrack-Free Search. J. ACM 29(1), 24\u201332 (1982)","journal-title":"J. ACM"},{"key":"24_CR10","unstructured":"Gogate, V., Dechter, R.: Studies in solution sampling. In: Fox, D., Gomes, C.P. (eds.) Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13\u201317, 2008, pp. 271\u2013276. AAAI Press (2008). http:\/\/www.aaai.org\/Library\/AAAI\/2008\/aaai08-043.php"},{"key":"24_CR11","unstructured":"Hebrard, E., Hnich, B., O\u2019Sullivan, B., Walsh, T.: Finding diverse and similar solutions in constraint programming. In: Veloso, M.M., Kambhampati, S. (eds.) Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9\u201313, 2005, Pittsburgh, Pennsylvania, USA, pp. 372\u2013377. AAAI Press \/ The MIT Press (2005). http:\/\/www.aaai.org\/Library\/AAAI\/2005\/aaai05-059.php"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Mezard, M., Montanari, A.: Information, physics, and computation. Oxford University Press (2009)","DOI":"10.1093\/acprof:oso\/9780198570837.001.0001"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-21581-0_23","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","author":"A Nadel","year":"2011","unstructured":"Nadel, A.: Generating diverse solutions in SAT. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol. 6695, pp. 287\u2013301. Springer, Heidelberg (2011)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Nierhaus, G.: Algorithmic composition: paradigms of automated music generation. Springer (2009)","DOI":"10.1007\/978-3-211-75540-2"},{"issue":"2","key":"24_CR15","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/s10601-010-9101-4","volume":"16","author":"F Pachet","year":"2011","unstructured":"Pachet, F., Roy, P.: Markov constraints: steerable generation of markov sequences. Constraints 16(2), 148\u2013172 (2011)","journal-title":"Constraints"},{"key":"24_CR16","unstructured":"Pachet, F., Roy, P., Barbieri, G.: Finite-length markov processes with constraints. In: Walsh, T. (ed.) IJCAI, pp. 635\u2013642. IJCAI\/AAAI (2011)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Pachet, F., Roy, P.: Imitative leadsheet generation with user constraints. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI 2014\u201321st European Conference on Artificial Intelligence, 18\u201322 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 1077\u20131078. IOS Press (2014). http:\/\/dx.doi.org\/10.3233\/978-1-61499-419-0-1077","DOI":"10.3233\/978-1-61499-419-0-1077"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Papadopoulos, A., Pachet, F., Roy, P.: Generating non-plagiaristic markov sequences with max order sampling. In: Degli Esposti, M., Altmann, E., Pachet, F. (eds.) Universality and Creativity in Language (forthcoming). Lecture Notes in Morphogenesis. Springer (2015)","DOI":"10.1007\/978-3-319-24403-7_6"},{"key":"24_CR19","unstructured":"Papadopoulos, A., Roy, P., Pachet, F.: Avoiding plagiarism in markov sequence generation. In: Brodley, C.E., Stone, P. (eds.) Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27\u201331, 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, pp. 2731\u20132737. AAAI Press (2014). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8574"},{"key":"24_CR20","unstructured":"Pearl, J.: Reverend bayes on inference engines: A distributed hierarchical approach. In: Waltz, D.L. (ed.) Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, PA, August 18\u201320, 1982, pp. 133\u2013136. AAAI Press (1982). http:\/\/www.aaai.org\/Library\/AAAI\/1982\/aaai82-032.php"},{"key":"24_CR21","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems - networks of plausible inference. Morgan Kaufmann series in representation and reasoning. Morgan Kaufmann (1989)"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-540-30201-8_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"G Pesant","year":"2004","unstructured":"Pesant, G.: A regular language membership constraint for finite sequences of variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 482\u2013495. Springer, Heidelberg (2004)"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Pinkerton, R.C.: Information theory and melody. Scientific American (1956)","DOI":"10.1038\/scientificamerican0256-77"},{"key":"24_CR24","unstructured":"Poon, H., Domingos, P.M.: Sound and efficient inference with probabilistic and deterministic dependencies. In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16\u201320, 2006, Boston, Massachusetts, USA [1], pp. 458\u2013463. http:\/\/www.aaai.org\/Library\/AAAI\/2006\/aaai06-073.php"},{"issue":"1\u20132","key":"24_CR25","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62(1\u20132), 107\u2013136 (2006). http:\/\/dx.doi.org\/10.1007\/s10994-006-5833-1","journal-title":"Machine Learning"},{"key":"24_CR26","unstructured":"Roy, P., Pachet, F.: Enforcing meter in finite-length markov sequences. In: desJardins, M., Littman, M.L. (eds.) Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14\u201318, 2013, Bellevue, Washington, USA. AAAI Press (2013). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI13\/paper\/view\/6422"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-642-15396-9_35","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2010","author":"Y Schreiber","year":"2010","unstructured":"Schreiber, Y.: Value-ordering heuristics: search performance vs. solution diversity. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 429\u2013444. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23219-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T23:47:39Z","timestamp":1748562459000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23219-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232188","9783319232195"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23219-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}