Towards generic explanations for pen and paper puzzles with MUSes

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Towards generic explanations for pen and paper puzzles with MUSes'. Together they form a unique fingerprint.

Computer Science