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