Martin Hořeňovský personal blog
Modern SAT solvers: fast, neat and underused
In the previous two parts we used a SAT solver as a black box that we feed input into, and it will (usually quickly) spit out an answer. In this part, we will look at how SAT solvers work and what heuristics and other tricks they employ in their quest for performance.
- Points
- 465
- HN comments
- 118
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 19, 2019 | Modern SAT solvers: fast, neat and underused by kachnuv_ocasek | 465 | 118 |
