{"id":"https://openalex.org/W2751650279","doi":"https://doi.org/10.1145/3102071.3102084","title":"Synthesizing interpretable strategies for solving puzzle games","display_name":"Synthesizing interpretable strategies for solving puzzle games","publication_year":2017,"publication_date":"2017-08-14","ids":{"openalex":"https://openalex.org/W2751650279","doi":"https://doi.org/10.1145/3102071.3102084","mag":"2751650279"},"language":"en","primary_location":{"id":"doi:10.1145/3102071.3102084","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102071.3102084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022104684","display_name":"Eric Butler","orcid":"https://orcid.org/0000-0003-4368-4126"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Butler","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088791029","display_name":"Emina Torlak","orcid":"https://orcid.org/0000-0002-1155-2711"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emina Torlak","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050910253","display_name":"Zoran Popovi\u0107","orcid":"https://orcid.org/0000-0001-5989-3016"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zoran Popovi\u0107","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022104684"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.9751,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.82199274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10731","display_name":"Educational Games and Gamification","score":0.9588000178337097,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9460999965667725,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.783683180809021},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6390906572341919},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.610550045967102},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5564242601394653},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5457351803779602},{"id":"https://openalex.org/keywords/problem-solver","display_name":"Problem solver","score":0.48033013939857483},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.47768551111221313},{"id":"https://openalex.org/keywords/game-mechanics","display_name":"Game mechanics","score":0.4581718444824219},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.43049174547195435},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4197334349155426},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.34053874015808105},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3370422124862671},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2200571894645691},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1322622299194336},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09482863545417786}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.783683180809021},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6390906572341919},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.610550045967102},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5564242601394653},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5457351803779602},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.48033013939857483},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.47768551111221313},{"id":"https://openalex.org/C170828538","wikidata":"https://www.wikidata.org/wiki/Q1751513","display_name":"Game mechanics","level":2,"score":0.4581718444824219},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.43049174547195435},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4197334349155426},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34053874015808105},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3370422124862671},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2200571894645691},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1322622299194336},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09482863545417786},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3102071.3102084","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102071.3102084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7300000190734863}],"awards":[{"id":"https://openalex.org/G1258341002","display_name":null,"funder_award_id":"OCAY-16-644","funder_id":"https://openalex.org/F4320306460","funder_display_name":"Oak Foundation"},{"id":"https://openalex.org/G3126995502","display_name":null,"funder_award_id":"DRL-1639576,DGE-1546510","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306460","display_name":"Oak Foundation","ror":"https://ror.org/006ss0h52"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1412617300","https://openalex.org/W1972271534","https://openalex.org/W1973831620","https://openalex.org/W1999160507","https://openalex.org/W2012312630","https://openalex.org/W2018839436","https://openalex.org/W2028208918","https://openalex.org/W2055798432","https://openalex.org/W2057156093","https://openalex.org/W2060610732","https://openalex.org/W2089050982","https://openalex.org/W2114655791","https://openalex.org/W2115007594","https://openalex.org/W2124031246","https://openalex.org/W2149236697","https://openalex.org/W2152660354","https://openalex.org/W2160237541","https://openalex.org/W2168115594","https://openalex.org/W2212995356","https://openalex.org/W2218319575","https://openalex.org/W2220138847","https://openalex.org/W2332488709","https://openalex.org/W2345012989","https://openalex.org/W2367397349","https://openalex.org/W2471430725","https://openalex.org/W2569196563","https://openalex.org/W2576779203","https://openalex.org/W2727426218","https://openalex.org/W2729848669","https://openalex.org/W2980298611","https://openalex.org/W3011737828","https://openalex.org/W4242912959"],"related_works":["https://openalex.org/W2132874577","https://openalex.org/W1836984851","https://openalex.org/W2011621332","https://openalex.org/W2116898168","https://openalex.org/W1605093979","https://openalex.org/W2152572054","https://openalex.org/W2920969592","https://openalex.org/W2074269745","https://openalex.org/W2568362682","https://openalex.org/W2990609819"],"abstract_inverted_index":{"Understanding":[0],"how":[1],"players":[2],"interact":[3],"with":[4,58],"games":[5,14],"is":[6,140],"an":[7,105],"important":[8],"challenge":[9],"for":[10,90,94,124,166],"designers.":[11],"When":[12],"playing":[13],"centered":[15],"around":[16],"problem":[17],"solving,":[18],"such":[19],"as":[20,81,108,118],"logic":[21],"puzzles":[22],"like":[23],"Sudoku":[24],"or":[25],"Nonograms,":[26],"people":[27],"employ":[28],"a":[29,45,87,121,131,150],"rich":[30],"structure":[31],"of":[32,44,53,61,134,153,176],"domain-specific":[33,122],"knowledge":[34,55],"and":[35,56,130,171,178],"strategies":[36,165],"that":[37,147,159],"are":[38,116],"not":[39],"obvious":[40],"from":[41,65,169],"the":[42,59,76,109,160],"description":[43],"game's":[46],"rules.":[47,126],"This":[48],"paper":[49],"explores":[50],"automatic":[51],"discovery":[52],"player-oriented":[54],"strategies,":[57],"goal":[60],"enabling":[62],"applications":[63],"ranging":[64],"difficulty":[66],"estimation":[67],"to":[68,71,142,149],"puzzle":[69,78],"generation":[70],"game":[72,79,128],"progression":[73],"analysis.":[74],"Using":[75],"popular":[77],"Nonograms":[80,136,167],"our":[82,138],"target":[83],"domain,":[84],"we":[85],"present":[86],"new":[88],"system":[89,99,139],"learning":[91,111],"human-interpretable":[92],"rules":[93,115,146,162],"solving":[95],"these":[96],"puzzles.":[97,156],"The":[98,113],"uses":[100],"program":[101],"synthesis,":[102],"powered":[103],"by":[104],"SMT":[106],"solver,":[107],"primary":[110],"mechanism.":[112],"learned":[114,161],"represented":[117],"programs":[119],"in":[120,174],"language":[123],"condition-action":[125],"Given":[127],"mechanics":[129],"training":[132],"set":[133,152],"small":[135],"puzzles,":[137],"able":[141],"learn":[143],"sound,":[144],"concise":[145],"generalize":[148],"test":[151],"large":[154],"real-world":[155],"We":[157],"show":[158],"outperform":[163],"documented":[164],"drawn":[168],"tutorials":[170],"guides,":[172],"both":[173],"terms":[175],"coverage":[177],"quality.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}