e-graphs

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 …
Cite View on conference website