An Interactive Constraint-Based Approach to Sudoku.

Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry

Browse the full AAAI paper archive.