Towards Generic Explanations for Pen and Paper Puzzles with MUSes Published in SICSA XAI 2021, 2021 Download Paper | Download Bibtex Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next