Hacker News new | ask | show | jobs
A Primer on Boolean Satisfiability (homes.cs.washington.edu)
1 points by paulcarey 2458 days ago