Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch. Explaining Pen and Paper Puzzles with MUSes?. In Kyle Martin, Nirmalie Wiratunga, Anjana Wijekoon, editors, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, Aberdeen, United Kingdom, June 1st, 2021. Volume 2894 of CEUR Workshop Proceedings, pages 56-63, CEUR-WS.org, 2021. [doi]
Abstract is missing.