SudokuSat—A Tool for Analyzing Difficult Sudoku Puzzles

Tools and Applications with Artificial Intelligence - Studies in Computational Intelligence ◽

10.1007/978-3-540-88069-1_3 ◽

2008 ◽

pp. 25-35 ◽

Author(s):

Martin Henz ◽

Hoang-Minh Truong

Download Full-text