{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:44:12Z","timestamp":1761597852350,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T00:00:00Z","timestamp":1502668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100001275","name":"Oak Foundation","doi-asserted-by":"publisher","award":["OCAY-16-644"],"award-info":[{"award-number":["OCAY-16-644"]}],"id":[{"id":"10.13039\/100001275","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DRL-1639576,DGE-1546510"],"award-info":[{"award-number":["DRL-1639576,DGE-1546510"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,14]]},"DOI":"10.1145\/3102071.3102084","type":"proceedings-article","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T17:54:31Z","timestamp":1504029271000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Synthesizing interpretable strategies for solving puzzle games"],"prefix":"10.1145","author":[{"given":"Eric","family":"Butler","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emina","family":"Torlak","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Popovi\u0107","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2470764"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3233\/ICG-2012-35402"},{"volume-title":"How people learn","author":"Bransford John D","key":"e_1_3_2_1_3_1","unstructured":"John D Bransford , Ann L Brown , Rodney R Cocking , and others. 2000. How people learn . Washington, DC : National Academy Press . John D Bransford, Ann L Brown, Rodney R Cocking, and others. 2000. How people learn. Washington, DC: National Academy Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633649"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2010.2041928"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702330"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39583-8_36"},{"key":"e_1_3_2_1_8_1","volume-title":"Problem-solving strategies. Educational psychologist 21, 1--2","author":"Gick Mary L","year":"1986","unstructured":"Mary L Gick . 1986. Problem-solving strategies. Educational psychologist 21, 1--2 ( 1986 ), 99--120. Mary L Gick. 1986. Problem-solving strategies. Educational psychologist 21, 1--2 (1986), 99--120."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46493-0_1"},{"key":"e_1_3_2_1_12_1","unstructured":"Alexander Jaffe Alex Miller Erik Andersen Yun-En Liu Anna Karlin and Zoran Popovi\u0107. 2012. Evaluating Competitive Game Balance with Restricted Play. In AIIDE.  Alexander Jaffe Alex Miller Erik Andersen Yun-En Liu Anna Karlin and Zoran Popovi\u0107. 2012. Evaluating Competitive Game Balance with Restricted Play. In AIIDE."},{"key":"e_1_3_2_1_13_1","unstructured":"Jupiter. 2015. Picross e6. (2015).  Jupiter. 2015. Picross e6. (2015)."},{"key":"e_1_3_2_1_14_1","unstructured":"Jupiter. 2015. Pok\u00e9mon Picross. (2015).  Jupiter. 2015. Pok\u00e9mon Picross. (2015)."},{"key":"e_1_3_2_1_15_1","unstructured":"Jupiter. 2016. Picross e7. (2016).  Jupiter. 2016. Picross e7. (2016)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939874"},{"key":"e_1_3_2_1_18_1","volume-title":"Eleventh Artificial Intelligence and Interactive Digital Entertainment Conference.","author":"Martens Chris","year":"2015","unstructured":"Chris Martens . 2015 . Ceptre: A language for modeling generative interactive systems . In Eleventh Artificial Intelligence and Interactive Digital Entertainment Conference. Chris Martens. 2015. Ceptre: A language for modeling generative interactive systems. In Eleventh Artificial Intelligence and Interactive Digital Entertainment Conference."},{"key":"e_1_3_2_1_19_1","volume-title":"Defining operational logics","author":"Mateas Michael","year":"2009","unstructured":"Michael Mateas and Noah Wardrip-Fruin . 2009. Defining operational logics , In DiGRA. Digital Games Research Association (DiGRA) ( 2009 ). Michael Mateas and Noah Wardrip-Fruin. 2009. Defining operational logics, In DiGRA. Digital Games Research Association (DiGRA) (2009)."},{"key":"e_1_3_2_1_20_1","unstructured":"Gareth Moore. 2006. The Essential Book of Hanjie and How to Solve It.  Gareth Moore. 2006. The Essential Book of Hanjie and How to Solve It."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Mark J Nelson. 2011. Game Metrics Without Players: Strategies for Understanding Game Artifacts.. In Artificial Intelligence in the Game Design Process.  Mark J Nelson. 2011. Game Metrics Without Players: Strategies for Understanding Game Artifacts.. In Artificial Intelligence in the Game Design Process.","DOI":"10.1609\/aiide.v7i3.12479"},{"key":"e_1_3_2_1_22_1","unstructured":"Tetsuya Nishio. 2008. Original O'Ekaki: Intelligent Designs from Its Creator.  Tetsuya Nishio. 2008. Original O'Ekaki: Intelligent Designs from Its Creator."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.393.0782"},{"key":"e_1_3_2_1_24_1","unstructured":"Joseph Carter Osborn April Grow and Michael Mateas. 2013. Modular Computational Critics for Games.. In AIIDE.  Joseph Carter Osborn April Grow and Michael Mateas. 2013. Modular Computational Critics for Games.. In AIIDE."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3016387.3016582"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633610"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2013.35"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2158545"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593368"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"volume-title":"The Logic of Sudoku","author":"Stuart Andrew C","key":"e_1_3_2_1_33_1","unstructured":"Andrew C Stuart . 2007. The Logic of Sudoku . Michael Mepham Publishing . Andrew C Stuart. 2007. The Logic of Sudoku. Michael Mepham Publishing."},{"key":"e_1_3_2_1_34_1","volume-title":"Sudoku Creation and Grading. (January","author":"Stuart Andrew C","year":"2012","unstructured":"Andrew C Stuart . 2012. Sudoku Creation and Grading. (January 2012 ). http:\/\/www.sudokuwiki.org\/Sudoku_Creation_and_Grading.pdf [Online, accessed 8 Mar 2017]. Andrew C Stuart. 2012. Sudoku Creation and Grading. (January 2012). http:\/\/www.sudokuwiki.org\/Sudoku_Creation_and_Grading.pdf [Online, accessed 8 Mar 2017]."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2148116"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594340"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 10th Conference on the Foundations of Digital Games.","author":"Zook Alexander","year":"2015","unstructured":"Alexander Zook , Brent Harrison , and Mark O Riedl . 2015 . Monte-carlo tree search for simulation-based strategy analysis . In Proceedings of the 10th Conference on the Foundations of Digital Games. Alexander Zook, Brent Harrison, and Mark O Riedl. 2015. Monte-carlo tree search for simulation-based strategy analysis. In Proceedings of the 10th Conference on the Foundations of Digital Games."}],"event":{"name":"FDG'17: International Conference on the Foundations of Digital Games 2017","sponsor":["Microsoft Microsoft","Massive Entertainment Massive Entertainment","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Hyannis Massachusetts","acronym":"FDG'17"},"container-title":["Proceedings of the 12th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102071.3102084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102071.3102084","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102071.3102084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:25Z","timestamp":1750217965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102071.3102084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,14]]},"references-count":36,"alternative-id":["10.1145\/3102071.3102084","10.1145\/3102071"],"URL":"https:\/\/doi.org\/10.1145\/3102071.3102084","relation":{},"subject":[],"published":{"date-parts":[[2017,8,14]]},"assertion":[{"value":"2017-08-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}