Explaining Pen and Paper Puzzles with MUSes?

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]

Authors

Joan Espasa

This author has not been identified. Look up 'Joan Espasa' in Google

Ian P. Gent

This author has not been identified. Look up 'Ian P. Gent' in Google

Ruth Hoffmann

This author has not been identified. Look up 'Ruth Hoffmann' in Google

Christopher Jefferson

This author has not been identified. Look up 'Christopher Jefferson' in Google

Matthew J. McIlree

This author has not been identified. Look up 'Matthew J. McIlree' in Google

Alice M. Lynch

This author has not been identified. Look up 'Alice M. Lynch' in Google