Synthesizing interpretable strategies for solving puzzle games

Eric Butler, Emina Torlak, Zoran Popovic. Synthesizing interpretable strategies for solving puzzle games. In Sebastian Deterding, Alessandro Canossa, Casper Harteveld, Jichen Zhu, Miguel Sicart, editors, Proceedings of the International Conference on the Foundations of Digital Games, FDG 2017, Hyannis, MA, USA, August 14-17, 2017. ACM, 2017. [doi]

@inproceedings{ButlerTP17,
  title = {Synthesizing interpretable strategies for solving puzzle games},
  author = {Eric Butler and Emina Torlak and Zoran Popovic},
  year = {2017},
  doi = {10.1145/3102071.3102084},
  url = {http://doi.acm.org/10.1145/3102071.3102084},
  researchr = {https://researchr.org/publication/ButlerTP17},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the International Conference on the Foundations of Digital Games, FDG 2017, Hyannis, MA, USA, August 14-17, 2017},
  editor = {Sebastian Deterding and Alessandro Canossa and Casper Harteveld and Jichen Zhu and Miguel Sicart},
  publisher = {ACM},
  isbn = {978-1-4503-5319-9},
}