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