Artificial Intelligence through Search: Solving Sudoku Puzzles
Tim Kovacs, Artificial Intelligence through Search: Solving Sudoku Puzzles. CSTR-08-003, Department of Computer Science, University of Bristol. October 2008. PDF, 212 Kbytes.Abstract
Errata: please note there is a mistake on page 12. Instead of "putting a 4 there forces the use of a 4 in cell L" it should read "putting a 4 there forces the use of a 1 in cell L in order to make the row valid". Thanks to Ram Narasimhan for pointing this out.