The Silent (R)evolution of SAT

(cacm.acm.org)

245 points | by panic 383 days ago

103 comments