Comment by mshockwave

7 hours ago

sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article

1 comment