C codingnest.com Modern SAT solvers: fast, neat and underused (2018) 226 points weird_user 3 years ago 90 comments
