Associativity and Commutativity in Equality Saturation

Tarik Rosin, Marcel Ullrich, Sebastian Hack

Equality saturation is a promising technique for program optimization which sidesteps the phase ordering problem. However, current e-graph implementations grow exponentially large,…