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