## Papers related to Equality graphs (egraphs)

- Automating constraint-aware datapath optimization using E-graphs [coward:arxiv:2023]
- Small proofs from congruence closure [flatt:fmcad:2022]
- Synthesizing structured CAD models with equality saturation and inverse transformations [nandi:pldi:2020]
- Pure tensor program rewriting via access patterns (representation pearl) [smith:maps:2021]
- Equality saturation: A new approach to optimization [tate:popl:2009]
- Vectorization for digital signal processors via equality saturation [vanhattum:asplos:2021]
- Rewrite rule inference using equality saturation [willsey:oopsla:2021]
- egg: Fast and extensible equality saturation [willsey:popl:2021]
- Better together: Unifying datalog and equality saturation [zhang:pldi:2023]