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