Martin Hořeňovský personal blog
Modern SAT solvers: fast, neat and underused
Before I started doing research, I saw SAT solvers as academically interesting but without practical uses ouside of other academic applications. I've since then changed my mind, and I want to change yours, because modern SAT solvers are neat, fast and almost criminally underused by the industry.
- Points
- 368
- HN comments
- 180
- Submissions
- 2
- Cited by
- 6 commenters
Math & AlgorithmsSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 3, 2018 | Modern SAT solvers: fast, neat and underused by ScottWRobinson | 368 | 90 |
| May 26, 2023 | Modern SAT solvers: fast, neat and underused (2018) by weird_user | 226 | 90 |
Cited in comments
Linked from 6 Hacker News comments by 6 different people, from Aug 2018 to Aug 2023.
Most recent:
