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