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