research
∙
05/30/2023
Colored E-Graph: Equality Reasoning with Conditions
E-graphs are a prominent data structure that has been increasing in popu...
share
research
∙
09/10/2020
