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