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