PlaySudoku.us
Medium · Puzzle #902
5
1
4
2
4
2
9
3
1
4
7
8
1
6
8
2
5
8
1
4
2
8
7
3
2
8
5
4
6
9
5
7
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.
"The beginning is the most important part of the work." — Plato
"The beginning is the most important part of the work." — Plato