@misc{indiciaea27ec8fdde16,
  title = {E-Graphs as Circuits, and Optimal Extraction via Treewidth},
  author = {Glenn Sun and Yihong Zhang and Haobin Ni},
  year = {2024},
  url = {https://arxiv.org/abs/2408.17042},
  note = {Source identifier: 2408.17042}
}