Using small MUSes to explain how to solve pen and paper puzzles

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

Research output: Working paper › Preprint

Fingerprint

Dive into the research topics of 'Using small MUSes to explain how to solve pen and paper puzzles'. Together they form a unique fingerprint.

Computer Science