PlaySudoku.us
Medium · Puzzle #747
8
7
5
3
9
7
6
1
6
4
4
2
7
6
1
5
6
7
8
2
1
4
5
9
2
8
5
6
9
5
6
2
1
8
7
The hardest Sudoku puzzles require techniques equivalent to propositional logic — the same foundation used in computer proofs.
The hardest Sudoku puzzles require techniques equivalent to propositional logic — the same foundation used in computer proofs.
The hardest Sudoku puzzles require techniques equivalent to propositional logic — the same foundation used in computer proofs.
The hardest Sudoku puzzles require techniques equivalent to propositional logic — the same foundation used in computer proofs.