Martin Hořeňovský personal blog
Modern SAT solvers: fast, neat and underused – part 2
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.
- Points
- 154
- HN comments
- 15
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 16, 2018 | Modern SAT solvers: fast, neat and underused – part 2 by aw1621107 | 154 | 15 |
