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