Equality Saturation: A New Approach to Optimizationhttp://cseweb.ucsd.edu/~rtate/publications/eqsat/ by Xichekolas • 17 years ago 1 0 17 years agoCScseweb.ucsd.edu