e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving.

Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu

Browse the full ICCAD paper archive.