{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:07:22Z","timestamp":1755907642737,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T00:00:00Z","timestamp":1716249600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,21]]},"DOI":"10.1145\/3649921.3649995","type":"proceedings-article","created":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T06:38:18Z","timestamp":1720161498000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-4927-4065","authenticated-orcid":false,"given":"Jediah","family":"Katz","sequence":"first","affiliation":[{"name":"Independent, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0701-0311","authenticated-orcid":false,"given":"Bahar","family":"Bateni","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4519-8423","authenticated-orcid":false,"given":"Adam M.","family":"Smith","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, United States"}]}],"member":"320","published-online":{"date-parts":[[2024,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Hinge-Loss Markov Random Fields and Probabilistic Soft Logic","volume":"18","author":"Bach H.","year":"2017","unstructured":"Stephen\u00a0H. Bach, Matthias Broecheler, Bert Huang, and Lise Getoor. 2017. Hinge-Loss Markov Random Fields and Probabilistic Soft Logic. J. Mach. Learn. Res. 18, 1 (jan 2017), 3846\u20133912.","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582437.3582441"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190039"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200992"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892792"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1987.12000742"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v18i1.21944"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582437.3587205"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.11.003"},{"volume-title":"clasp: A Conflict-Driven Answer Set Solver","author":"Gebser Martin","key":"e_1_3_2_1_11_1","unstructured":"Martin Gebser, Benjamin Kaufmann, Andr\u00e9 Neumann, and Torsten Schaub. 2007. clasp: A Conflict-Driven Answer Set Solver. In Logic Programming and Nonmonotonic Reasoning, Chitta Baral, Gerhard Brewka, and John Schlipf (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 260\u2013265."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Priyanka Golia Mate Soos Sourav Chakraborty and Kuldeep\u00a0S. Meel. 2021. Designing Samplers is Easy: The Boon of Testers. In 2021 Formal Methods in Computer Aided Design (FMCAD). 222\u2013230. https:\/\/doi.org\/10.34727\/2021\/isbn.978-3-85448-046-4_31","DOI":"10.34727\/2021\/isbn.978-3-85448-046-4_31"},{"key":"e_1_3_2_1_13_1","unstructured":"E.\u00a0J. Gumbel. 1954. Statistical Theory of Extreme Values and Some Practical Applications: A Series of Lectures. Vol.\u00a033. US Department of Commerce."},{"key":"e_1_3_2_1_14_1","unstructured":"Maxim Gumin. 2016. Wave Function Collapse Algorithm. https:\/\/github.com\/mxgmn\/WaveFunctionCollapse"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16719-5_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v8i1.12511"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2022.3157042"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531077"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3110566"},{"key":"e_1_3_2_1_20_1","volume-title":"Lecture 4.https:\/\/web.archive.org\/web\/20211228072631\/https:\/\/www.cis.upenn.edu\/\u00a0cis189\/files\/Lecture4.pdf. Accessed","author":"Katz Jediah","year":"2023","unstructured":"Jediah Katz. 2021. UPenn CIS 189: Solving Hard Problems in Practice, Lecture 4.https:\/\/web.archive.org\/web\/20211228072631\/https:\/\/www.cis.upenn.edu\/\u00a0cis189\/files\/Lecture4.pdf. Accessed 2023."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42716-4_8"},{"key":"e_1_3_2_1_23_1","unstructured":"Nintendo. 1986. The Legend of Zelda. [Family Computer Disk System]. https:\/\/nesmaps.com\/maps\/Zelda\/ZeldaOverworldQ1.html"},{"key":"e_1_3_2_1_24_1","unstructured":"Nintendo. 1988. Super Mario Bros. 3. [Family Computer Disk System]. https:\/\/www.spriters-resource.com\/resources\/sheets\/150\/153078.png"},{"key":"e_1_3_2_1_25_1","unstructured":"Laurent Perron and Fr\u00e9d\u00e9ric Didier. 2023. CP-SAT. Google. https:\/\/developers.google.com\/optimization\/cp\/cp_solver\/"},{"key":"e_1_3_2_1_26_1","volume-title":"75\u201397","author":"Prestwich D","year":"2009","unstructured":"Steven\u00a0D Prestwich. 2009. CNF Encodings.Handbook of satisfiability 185 (2009), 75\u201397."},{"key":"e_1_3_2_1_27_1","volume-title":"pycosat. Accessed","author":"Schnell Ilan","year":"2023","unstructured":"Ilan Schnell. 2023. pycosat. Accessed 2023. Version 0.6.6. https:\/\/pypi.org\/project\/pycosat\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2158545"}],"event":{"name":"FDG 2024: Foundations of Digital Games","acronym":"FDG 2024","location":"Worcester MA USA"},"container-title":["Proceedings of the 19th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649921.3649995","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649921.3649995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T12:50:41Z","timestamp":1755867041000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649921.3649995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,21]]},"references-count":28,"alternative-id":["10.1145\/3649921.3649995","10.1145\/3649921"],"URL":"https:\/\/doi.org\/10.1145\/3649921.3649995","relation":{},"subject":[],"published":{"date-parts":[[2024,5,21]]},"assertion":[{"value":"2024-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}