PlaySudoku.us
Expert · Puzzle #495
1
4
5
6
2
8
3
9
2
3
8
9
5
6
4
7
3
6
1
6
8
2
9
4
The constraint propagation used in Sudoku solving is the same algorithm used in AI planning and automated theorem proving.
The constraint propagation used in Sudoku solving is the same algorithm used in AI planning and automated theorem proving.
Sudoku has no math — you could replace the digits 1–9 with any 9 symbols and the puzzle works identically.
Sudoku has no math — you could replace the digits 1–9 with any 9 symbols and the puzzle works identically.