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

Filter
Finished

Search results