From the 1 of 2 linked papers with an AI index.
1 paper · 1 filter
Dan Suciu, Yisu Remy Wang, Yihong Zhang
Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data…