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