TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
equality saturation
Fast and Optimal Extraction for Sparse Equality Graphs
Equality graphs (e-graphs) are used to compactly represent equivalence classes of terms in symbolic reasoning systems. Beyond their …
Amir Kafshdar Goharshady
,
John (Chun Kit) Lam
,
Lionel Parreaux
Cite
View on conference website
Cite
×