PlaySudoku.us
Hard · Puzzle #125
1
9
7
2
5
6
7
5
8
3
9
7
1
3
8
2
3
4
2
7
5
2
4
9
1
5
3
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.
"Winners never quit and quitters never win." — Vince Lombardi
"Winners never quit and quitters never win." — Vince Lombardi