PlaySudoku.us
Medium · Puzzle #387
6
9
4
5
2
5
3
1
2
8
7
5
2
2
3
1
9
8
7
4
2
3
4
5
3
1
4
6
5
2
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.