{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T20:50:04Z","timestamp":1777582204499,"version":"3.51.4"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62220106011"],"award-info":[{"award-number":["62220106011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2441247"],"award-info":[{"award-number":["U2441247"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Zhangjiang Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1109\/tcad.2025.3611101","type":"journal-article","created":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T17:31:16Z","timestamp":1758130276000},"page":"2179-2192","source":"Crossref","is-referenced-by-count":0,"title":["ESACO: Fast E-Graph Extraction via Orchestrated Simulated Annealing-Based Local Search and Ant Colony Optimization-Based Global Search"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2953-9742","authenticated-orcid":false,"given":"Rui","family":"Li","sequence":"first","affiliation":[{"name":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6804-702X","authenticated-orcid":false,"given":"Lin","family":"Li","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0305-2135","authenticated-orcid":false,"given":"Heng","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham Ningbo China, Ningbo, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-5916","authenticated-orcid":false,"given":"Yajun","family":"Ha","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology and Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3591239"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3656246"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH61463.2024.00014"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3410154"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3483096"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM53951.2022.9786123"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247948"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3583781.3590239"},{"key":"ref10","first-page":"255","article-title":"Equality saturation for tensor graph superoptimization","volume-title":"Proc. Mach. Learn. Syst.","author":"Yang"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446707"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640392"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708957"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356518"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247797"},{"key":"ref16","volume-title":"Extraction Gym: A Suite of Benchmarks to Test E-Graph Extraction Algorithms","year":"2023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707262"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3689801"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2006.329691"},{"key":"ref20","article-title":"Equality saturation: Engineering challenges and applications","author":"Stepp","year":"2011"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3571207"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/arith54963.2022.00016"},{"key":"ref24","first-page":"1","article-title":"Improving term extraction with acyclic constraints","volume-title":"Proc. EGRAPHS Workshop","author":"He"},{"key":"ref25","article-title":"Rewriting history: Repurposing domain-specific CGRAs","author":"Woodruff","year":"2023","journal-title":"arXiv:2309.09112"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"issue":"53","key":"ref27","first-page":"157","article-title":"V12. 1: User\u2019s manual for CPLEX","volume":"46","author":"Cplex","year":"2009","journal-title":"Int. Bus. Mach. Corp."},{"key":"ref28","volume-title":"Gurobi Optimizer Reference Manual","year":"2024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1287\/educ.1053.0020"},{"key":"ref30","first-page":"1","article-title":"Very deep convolutional networks for large-scale image recognition","volume-title":"Proc. 3rd Int. Conf. Learn. Represent.","author":"Simonyan"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref32","first-page":"4171","article-title":"BERT: Pre-training of deep bidirectional transformers for language understanding","volume-title":"Proc. Conf. North Amer. Chapter Assoc. Comput. Linguistics, Hum. Lang. Technol.","author":"Devlin"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11493579\/11168886.pdf?arnumber=11168886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T19:47:53Z","timestamp":1777405673000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11168886\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":32,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3611101","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5]]}}}