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