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