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