Eric Butler, Emina Torlak, Zoran Popovic: Synthesizing interpretable strategies for solving puzzle games. FDG 2017: 10:1-10:10