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