← Back to context Comment by tylerhou 17 hours ago You should look at supercompilation. 2 comments tylerhou Reply mshockwave 11 hours ago sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article tylerhou 10 hours ago Yes, sorry, superoptimization is the correct term.
mshockwave 11 hours ago sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article tylerhou 10 hours ago Yes, sorry, superoptimization is the correct term.
sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article
Yes, sorry, superoptimization is the correct term.