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