Explaining Pen and Paper Puzzles with MUSes?

Download PDF

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch

Published: 01 Jan 2021, Last Modified: 24 Mar 2025SICSA XAI 2021EveryoneRevisionsBibTeXCC BY-SA 4.0