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