TY  - RPRT
TI  - Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
AU  - Joan Espasa
AU  - Ian P. Gent
AU  - Ruth Hoffmann
AU  - Christopher Jefferson
AU  - Alice M. Lynch
AU  - András Salamon
AU  - Matthew J. McIlree
PY  - 2023
UR  - https://arxiv.org/abs/2104.15040
ID  - 2104.15040
ER  -