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