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

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

Published in: CoRR (2021)

Keyphrases

small number
genetic algorithm
constraint satisfaction
real time
databases
artificial intelligence
computer vision
decision trees
multiscale
digital libraries
trade off
eye tracking