Sahand Saba personal blog
Understanding SAT by Implementing a Simple SAT Solver in Python (2014)
SAT is often described as the "mother of all NP-complete problems." This post goes over what SAT is and why it is considered to be so important. A simple SAT solver is implemented using Python in the process.
- Points
- 158
- HN comments
- 21
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 29, 2019 | Understanding SAT by Implementing a Simple SAT Solver in Python (2014) by c1ccccc1 | 158 | 21 |
