Efficient and Effective E-graph-based Logic Optimization

Published in ACM Transactions on Design Automation of Electronic Systems (TODAES), 2026