An Interactive Constraint-Based Approach to Sudoku

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


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.