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