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