Modern SAT solvers: fast, neat and underused (2018) https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/
The Coding Nest
Modern SAT solvers: fast, neat and underused (part 1 of N)
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…
