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