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