The Silent (R)evolution of SAT

 (cacm.acm.org)

245 points | by panic 15 days ago

103 comments