Martin Hořeňovský personal blog
Modern SAT solvers: fast, neat and underused
In part 1 of this series, we built a Sudoku solver based on translating Sudoku to SAT and then giving the resulting SAT instance to a SAT solver. We also benchmarked our solver and found out that it, unsurprisingly, loses to the state of the art of Sudoku solvers. Since
- Points
- 237
- HN comments
- 45
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 27, 2019 | Modern SAT solvers: fast, neat and underused by dmit | 237 | 45 |
