Hacker News new | past | comments | ask | show | jobs | submit login

What's interesting is about same progress in compiler technology: https://www.quora.com/How-true-is-Proebstings-Law-for-compil...

I also think that point in the answer at Quora is also valid here: SAT solvers advancement allows to attack bigger problems that were impossible to conquer some 20 years ago.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact