PlaySudoku.us
Medium · Puzzle #416
1
6
8
4
1
9
9
5
3
1
6
1
3
2
3
1
8
6
2
3
8
7
1
5
3
3
6
2
5
3
6
7
"The mathematician does not study pure mathematics because it is useful; he studies it because he delights in it and he delights in it because it is beautiful." — Henri Poincaré
"The mathematician does not study pure mathematics because it is useful; he studies it because he delights in it and he delights in it because it is beautiful." — Henri Poincaré
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.