Announcement_3

Excited to announce that our paper “e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving” has been accepted to ICCAD 2025!