TY  - RPRT
TI  - E-Graphs as Circuits, and Optimal Extraction via Treewidth
AU  - Glenn Sun
AU  - Yihong Zhang
AU  - Haobin Ni
PY  - 2024
UR  - https://arxiv.org/abs/2408.17042
ID  - 2408.17042
ER  -