20 citations · 43 across the 10 of their papers we have counts for
1 paper · 2 filters
Eytan Singher, Shachar Itzhaky
E-graphs are a prominent data structure that has been increasing in popularity in recent years due to their expanding range of applications in various formal reasoning tasks. Often…