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