PlaySudoku.us
Hard · Puzzle #585
3
1
9
2
4
9
7
5
6
8
2
8
4
9
6
5
5
8
2
5
6
4
2
3
1
3
1
9
9
6
"There is no royal road to geometry." — Euclid
"There is no royal road to geometry." — Euclid
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.