{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:44Z","timestamp":1763468084518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,5,29]],"date-time":"2012-05-29T00:00:00Z","timestamp":1338249600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-11-2-0102"],"award-info":[{"award-number":["FA8750-11-2-0102"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000145","name":"Division of Information and Intelligent Systems","doi-asserted-by":"publisher","award":["IIS-0811902IIS-1048385"],"award-info":[{"award-number":["IIS-0811902IIS-1048385"]}],"id":[{"id":"10.13039\/100000145","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,5,29]]},"DOI":"10.1145\/2282338.2282370","type":"proceedings-article","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T15:32:03Z","timestamp":1339774323000},"page":"156-163","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["A case study of expressively constrainable level design automation tools for a puzzle game"],"prefix":"10.1145","author":[{"given":"Adam M.","family":"Smith","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz, and University of Washington"}]},{"given":"Erik","family":"Andersen","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Michael","family":"Mateas","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz"}]},{"given":"Zoran","family":"Popovi\u0107","sequence":"additional","affiliation":[{"name":"University of Washington"}]}],"member":"320","published-online":{"date-parts":[[2012,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593341"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Reasoning and Declarative Problem Solving","author":"Baral C.","year":"2003","unstructured":"C. Baral . Knowledge Representation , Reasoning and Declarative Problem Solving . Cambridge Univ. Press , 2003 . C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Univ. Press, 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of the AISB'02 Symposium on AI and Creativity in the Arts and Sciences","author":"Colton S.","year":"2002","unstructured":"S. Colton . Automated puzzle generation . In Proc. of the AISB'02 Symposium on AI and Creativity in the Arts and Sciences , 2002 . S. Colton. Automated puzzle generation. In Proc. of the AISB'02 Symposium on AI and Creativity in the Arts and Sciences, 2002."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2149523"},{"key":"e_1_3_2_1_5_1","volume-title":"gen_sudoku.gringo","author":"Gebser M.","year":"2010","unstructured":"M. Gebser . gen_sudoku.gringo , 2010 . http:\/\/asparagus.cs.uni-potsdam.de\/encoding\/show\/id\/12739. M. Gebser. gen_sudoku.gringo, 2010. http:\/\/asparagus.cs.uni-potsdam.de\/encoding\/show\/id\/12739."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1971622.1971623"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625336"},{"key":"e_1_3_2_1_8_1","first-page":"431","volume-title":"Proc. of the 15th Natl. Conf. on Artif. Intel.","author":"Gomes C. P.","year":"1998","unstructured":"C. P. Gomes , B. Selman , and H. Kautz . Boosting combinatorial search through randomization . In Proc. of the 15th Natl. Conf. on Artif. Intel. , pages 431 -- 437 , 1998 . C. P. Gomes, B. Selman, and H. Kautz. Boosting combinatorial search through randomization. In Proc. of the 15th Natl. Conf. on Artif. Intel., pages 431--437, 1998."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2007.06.028"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12239-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2158545"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2159716"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/31.1742"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2148116"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the CASA Workshop on 3D Advanced Media in Gaming and Simulation","author":"Tutenel T.","year":"2009","unstructured":"T. Tutenel , R. Bidarra , R. M. Smelik , and K. J. de Kreker . Rule-based layout solving and its application to procedural interior generation . In Proc. of the CASA Workshop on 3D Advanced Media in Gaming and Simulation , 2009 . T. Tutenel, R. Bidarra, R. M. Smelik, and K. J. de Kreker. Rule-based layout solving and its application to procedural interior generation. In Proc. of the CASA Workshop on 3D Advanced Media in Gaming and Simulation, 2009."},{"key":"e_1_3_2_1_17_1","volume-title":"Nature-Inspired Metaheuristic Algorithms","author":"Yang X.-S.","year":"2008","unstructured":"X.-S. Yang . Nature-Inspired Metaheuristic Algorithms . Luniver Press , 2008 . X.-S. Yang. Nature-Inspired Metaheuristic Algorithms. Luniver Press, 2008."}],"event":{"name":"FDG'12: International Conference on the Foundations of Digital Games","sponsor":["SASDG Society for the Advancement of the Science of Digital Games","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Raleigh North Carolina","acronym":"FDG'12"},"container-title":["Proceedings of the International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2282338.2282370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2282338.2282370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:57Z","timestamp":1750236537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2282338.2282370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,29]]},"references-count":16,"alternative-id":["10.1145\/2282338.2282370","10.1145\/2282338"],"URL":"https:\/\/doi.org\/10.1145\/2282338.2282370","relation":{},"subject":[],"published":{"date-parts":[[2012,5,29]]},"assertion":[{"value":"2012-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}