Christopher Reeson, Ken Bayer, Berthe Y. Choueiry, Kai-Chen Huang
We present a Java applet, Solver, that allows a user to interactively solve a Sudoku problem using Constraint Processing (CP) techniques. We also present a companion Java applet, Constructor, that allows human users to enter and store new puzzle instances. Our system showcases the power of CP techniques in solving problems through a widely familiar and easily approachable puzzle. Our Solver is built to maximize the interactions between the human users and CP techniques. It allows the users to apply different consistency algorithms, work specifically on certain constraints, and make assignments and domain reductions on their own. We also designed a hint functionality that uses increasingly complex propagation algorithms, in a controlled manner, to guide the users and train them playing the game.
Subjects: 15.2 Constraint Satisfaction; 1.3 Computer-Aided Education
Submitted: Apr 24, 2007