Modern SAT solvers: fast, neat and underused

465 points by kachnuv_ocasek

Read the article

Discussion on Hacker News