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