37 citations · 46 across the 5 of their papers we have counts for
1 paper · 1 filter
Qiantan Hong, Rupanshu Soi, Yihong Zhang +1
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even…