Efficient and Effective E-graph-based Logic Optimization. - Tianji Liu; Nutdranai Jaruthikorn; Shiju Lin; Bentian Jiang; Guannan Guo; Weihua Sheng; Evangeline F. Y. Young (ACM Trans. Design Autom. Electr. Syst., 2026)