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