Augmenting Rewrite Rule Sets via Knuth-Bendix Completion

Michael Schifferer, Marcel Ullrich, Sebastian Hack

Equality Saturation (EqSat) is a powerful technique for program optimization, systematically exploring the search space of candidate programs to overcome the phase ordering problem…