TY  - RPRT
TI  - e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
AU  - Jiaqi Yin
AU  - Zhan Song
AU  - Chen Chen
AU  - Yaohui Cai
AU  - Zhiru Zhang
AU  - Cunxi Yu
PY  - 2025
UR  - https://arxiv.org/abs/2508.13020
ID  - 2508.13020
ER  -