8 citations · 14 across the 9 of their papers we have counts for
1 paper · 1 filter
Guoliang He, Zak Singh, Eiko Yoneki
Rewrite systems [6, 10, 12] have been widely employing equality saturation [9], which is an optimisation methodology that uses a saturated e-graph to represent all possible sequenc…