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

What's interesting is about same progress in compiler technology: https://www.quora.com/How-true-is-Proebstings-Law-for-compiler-optimization 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.