1 paper
Joan Espasa, Ian P. Gent, Ruth Hoffmann +4
In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-lev…