Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch, András Salamon, Matthew J. McIlree

Research output: Working paper/PreprintPreprint

7 Downloads (Pure)

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.

Keyphrases

Computer Science