{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:28Z","timestamp":1750309588680,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T00:00:00Z","timestamp":1744675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,4,15]]},"DOI":"10.1145\/3723498.3723795","type":"proceedings-article","created":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T12:04:41Z","timestamp":1746792281000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Analytic Procgen with Composable Design Space Expressions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4735-010X","authenticated-orcid":false,"given":"Ross","family":"Mawhorter","sequence":"first","affiliation":[{"name":"Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4519-8423","authenticated-orcid":false,"given":"Adam M.","family":"Smith","sequence":"additional","affiliation":[{"name":"Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,9]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480018"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","unstructured":"Antonio Bucchiarone Kendra M.\u00a0L. Cooper Dayi Lin Adam Smith and Vanissa Wanick. 2023. Fostering Collaboration and Advancing Research in Software Engineering and Game Development for Serious Contexts. SIGSOFT Softw. Eng. Notes 48 4 (Oct. 2023) 46\u201350. 10.1145\/3617946.3617955","DOI":"10.1145\/3617946.3617955"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597241"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.5555\/3264692"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Michael Cook Simon Colton and Jeremy Gow. 2017. The ANGELINA Videogame Design System\u2014Part I. IEEE Transactions on Computational Intelligence and AI in Games 9 2 (2017) 192\u2013203. 10.1109\/TCIAIG.2016.2520256","DOI":"10.1109\/TCIAIG.2016.2520256"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/1814256.1814257"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095430"},{"key":"e_1_3_3_2_9_2","unstructured":"flogh and dhmdmdhm\u00a0et al.2018. Super Metroid VARIA Randomizer. https:\/\/randommetroidsolver.pythonanywhere.com\/"},{"key":"e_1_3_3_2_10_2","volume-title":"Proceedings of the First International Joint Conference of DiGRA and FDG","author":"J. Summerville\u00a0Adam","year":"2016","unstructured":"Summerville\u00a0Adam J. and Mateas Michael. 2016. Super Mario as a String: Platformer Level Generation Via LSTMs. In Proceedings of the First International Joint Conference of DiGRA and FDG. Digital Games Research Association and Society for the Advancement of the Science of Digital Games, Dundee, Scotland. http:\/\/www.digra.org\/wp-content\/uploads\/digital-library\/paper_129.pdf"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3649995"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3656986"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593333"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3650014"},{"key":"e_1_3_3_2_15_2","unstructured":"Shin-ichi Minato. 1974. Binary Decision Diagrams and Their Applications for VLSI. Development 18 5 (1974) 443\u2013458."},{"key":"e_1_3_3_2_16_2","unstructured":"Jean-Baptiste Mouret and Jeff Clune. 2015. Illuminating search spaces by mapping elites. arxiv:https:\/\/arXiv.org\/abs\/1504.04909\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/1504.04909"},{"key":"e_1_3_3_2_17_2","volume-title":"Construction of optimal DCVS trees","author":"Nair Ravi","year":"1986","unstructured":"Ravi Nair and Daniel Brand. 1986. Construction of optimal DCVS trees. International Business Machines Incorporated, Thomas J. Watson Research Center."},{"key":"e_1_3_3_2_18_2","unstructured":"Yoshio Sakamoto. 1994. Super Metroid. Nintendo. Super Nintendo Entertainment System."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Meghana\u00a0Aparna Sistla Swarat Chaudhuri and Thomas Reps. 2024. CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. ACM Trans. Program. Lang. Syst. 46 2 Article 7 (May 2024) 82\u00a0pages. 10.1145\/3651157","DOI":"10.1145\/3651157"},{"key":"e_1_3_3_2_20_2","first-page":"221","volume-title":"FDG","author":"Smith Adam\u00a0M","year":"2013","unstructured":"Adam\u00a0M Smith, Eric Butler, and Zoran Popovic. 2013. Quantifying over play: Constraining undesirable solutions in puzzle design.. In FDG. 221\u2013228."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Adam\u00a0M Smith and Michael Mateas. 2011. Answer set programming for procedural content generation: A design space approach. IEEE Transactions on Computational Intelligence and AI in Games 3 3 (2011) 187\u2013200.","DOI":"10.1109\/TCIAIG.2011.2158545"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/1814256.1814260"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1822348.1822376"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3472538.3472602"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v14i1.13020"},{"key":"e_1_3_3_2_26_2","unstructured":"Veetorp KatDevsGames ChristosOwen and Smallhacker et al.2017. The A Link to the Past Randomizer. https:\/\/alttpr.com\/en"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205517"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3650016"}],"event":{"name":"FDG '25: International Conference on the Foundations of Digital Games","acronym":"FDG '25","location":"Vienna & Graz Austria"},"container-title":["Proceedings of the 20th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723498.3723795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:46Z","timestamp":1750298206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,15]]},"references-count":28,"alternative-id":["10.1145\/3723498.3723795","10.1145\/3723498"],"URL":"https:\/\/doi.org\/10.1145\/3723498.3723795","relation":{},"subject":[],"published":{"date-parts":[[2025,4,15]]},"assertion":[{"value":"2025-05-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}