The Silent (R)evolution of SAT

 (cacm.acm.org)

245 points | by panic 336 days ago

103 comments