Hacker News new | ask | show | jobs
Practical Sat Solvers: Groundwork (nickgirardo.com)
4 points by nick_g 1742 days ago