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