Hacker News new | ask | show | jobs
The Silent (R)evolution of SAT (cacm.acm.org)
3 points by RebelPotato 241 days ago