Modern SAT solvers: fast, neat and underused (2018)(codingnest.com)198 points by weird_user 3 years ago | 76 comments