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