Modern SAT solvers: fast, neat and underused

368 points by ScottWRobinson

Read the article

Discussion on Hacker News