{"id":"https://openalex.org/W4414310244","doi":"https://doi.org/10.1109/tcad.2025.3611101","title":"ESACO: Fast E-Graph Extraction via Orchestrated Simulated Annealing-Based Local Search and Ant Colony Optimization-Based Global Search","display_name":"ESACO: Fast E-Graph Extraction via Orchestrated Simulated Annealing-Based Local Search and Ant Colony Optimization-Based Global Search","publication_year":2025,"publication_date":"2025-09-17","ids":{"openalex":"https://openalex.org/W4414310244","doi":"https://doi.org/10.1109/tcad.2025.3611101"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2025.3611101","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3611101","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056419578","display_name":"Rui Li","orcid":"https://orcid.org/0000-0002-2953-9742"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Rui Li","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-2953-9742","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048776120","display_name":"Lin Li","orcid":"https://orcid.org/0000-0002-6804-702X"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lin Li","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-6804-702X","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009559278","display_name":"Heng Yu","orcid":"https://orcid.org/0000-0002-0305-2135"},"institutions":[{"id":"https://openalex.org/I13591777","display_name":"University of Nottingham Ningbo China","ror":"https://ror.org/03y4dt428","country_code":"CN","type":"education","lineage":["https://openalex.org/I13591777","https://openalex.org/I142263535"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Heng Yu","raw_affiliation_strings":["School of Computer Science, University of Nottingham Ningbo China, Ningbo, China"],"raw_orcid":"https://orcid.org/0000-0002-0305-2135","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Nottingham Ningbo China, Ningbo, China","institution_ids":["https://openalex.org/I13591777"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084305618","display_name":"Yajun Ha","orcid":"https://orcid.org/0000-0003-4244-5916"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yajun Ha","raw_affiliation_strings":["School of Information Science and Technology and Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China","School of Information Science and Technology, Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-4244-5916","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology and Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]},{"raw_affiliation_string":"School of Information Science and Technology, Shanghai Engineering Research Center of Energy Efficient and Custom AI IC, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5056419578"],"corresponding_institution_ids":["https://openalex.org/I30809798"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2327037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"5","first_page":"2179","last_page":"2192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12016","display_name":"Web Data Mining and Analysis","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9678999781608582,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/simulated-annealing","display_name":"Simulated annealing","score":0.6194999814033508},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.5609999895095825},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.557699978351593},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.41110000014305115},{"id":"https://openalex.org/keywords/global-optimization","display_name":"Global optimization","score":0.4041999876499176},{"id":"https://openalex.org/keywords/ant-colony-optimization-algorithms","display_name":"Ant colony optimization algorithms","score":0.3596999943256378},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.33559998869895935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7091000080108643},{"id":"https://openalex.org/C126980161","wikidata":"https://www.wikidata.org/wiki/Q863783","display_name":"Simulated annealing","level":2,"score":0.6194999814033508},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.5609999895095825},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.557699978351593},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43140000104904175},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.41110000014305115},{"id":"https://openalex.org/C164752517","wikidata":"https://www.wikidata.org/wiki/Q5570875","display_name":"Global optimization","level":2,"score":0.4041999876499176},{"id":"https://openalex.org/C40128228","wikidata":"https://www.wikidata.org/wiki/Q460851","display_name":"Ant colony optimization algorithms","level":2,"score":0.3596999943256378},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C60891933","wikidata":"https://www.wikidata.org/wiki/Q796575","display_name":"Ant colony","level":3,"score":0.32190001010894775},{"id":"https://openalex.org/C141934464","wikidata":"https://www.wikidata.org/wiki/Q3305386","display_name":"Local optimum","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C90189156","wikidata":"https://www.wikidata.org/wiki/Q5615481","display_name":"Guided Local Search","level":3,"score":0.29820001125335693},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2883000075817108},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26429998874664307},{"id":"https://openalex.org/C109718341","wikidata":"https://www.wikidata.org/wiki/Q1385229","display_name":"Metaheuristic","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C131806220","wikidata":"https://www.wikidata.org/wiki/Q852705","display_name":"Evaluation function","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3611101","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3611101","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1035869621","display_name":null,"funder_award_id":"62074101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1314806456","display_name":null,"funder_award_id":"U2441247","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1385045742","display_name":null,"funder_award_id":"62220106011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Equality":[0],"graphs":[1],"(E-graphs)":[2],"offer":[3],"a":[4,75,110,184],"compact":[5],"representation":[6],"for":[7,65,96,104,145],"vast":[8],"sets":[9],"of":[10],"equivalent":[11],"implementations,":[12],"proving":[13],"invaluable":[14],"in":[15],"hardware":[16],"synthesis":[17],"and":[18,50,60,81,142],"program":[19],"optimization.":[20],"Nevertheless,":[21],"extracting":[22],"the":[23,165],"optimal":[24],"implementation":[25],"from":[26],"an":[27,30,133,153],"e-graph":[28,67],"constitutes":[29],"NP-hard":[31],"challenge.":[32],"Current":[33],"extraction":[34],"methods":[35,56,191],"face":[36],"critical":[37],"limitations:":[38],"heuristic-based":[39],"approaches":[40],"fail":[41],"to":[42,84,162,180,188],"produce":[43],"high-quality":[44,85],"solutions,":[45],"GPU-accelerated":[46,190],"techniques":[47],"lack":[48],"determinism":[49],"demand":[51],"excessive":[52],"memory,":[53],"exact":[54],"ILP":[55],"struggle":[57],"with":[58,99,124],"scalability,":[59],"specialized":[61],"solvers":[62],"only":[63],"function":[64],"particular":[66],"types.":[68],"To":[69],"address":[70],"this,":[71],"we":[72,108,131,151],"present":[73],"ESACO,":[74],"novel":[76,140],"deterministic":[77],"framework":[78,113],"that":[79,114,138,176],"rapidly":[80],"consistently":[82],"converges":[83],"solutions":[86],"across":[87],"diverse":[88],"benchmarks":[89],"by":[90],"effectively":[91,163],"combining":[92],"Simulated":[93],"Annealing":[94],"(SA)":[95],"local":[97,127,135,171],"refinement":[98],"Ant":[100],"Colony":[101],"Optimization":[102],"(ACO)":[103],"global":[105,121,155],"search.":[106],"First,":[107],"develop":[109],"synergistic":[111],"hybrid-heuristic":[112],"orchestrates":[115],"complementary":[116],"search":[117,136,156],"paradigms,":[118],"harmonizing":[119],"ACO\u2019s":[120],"exploration":[122],"capabilities":[123],"SA\u2019s":[125],"targeted":[126],"exploitation":[128],"mechanisms.":[129],"Second,":[130],"introduce":[132],"SA-based":[134],"method":[137],"employs":[139],"rip-up":[141],"repair":[143],"moves":[144],"efficiently":[146],"refining":[147],"promising":[148],"solutions.":[149],"Third,":[150],"propose":[152],"ACO-based":[154],"algorithm":[157],"incorporating":[158],"strategic":[159],"restart":[160],"mechanisms":[161],"explore":[164],"complex":[166],"solution":[167,196],"space":[168],"while":[169,192],"escaping":[170],"optima.":[172],"Experimental":[173],"results":[174],"demonstrate":[175],"ESACO":[177],"achieves":[178],"up":[179],"42\u00d7":[181],"speedup":[182],"using":[183],"single":[185],"thread":[186],"compared":[187],"state-of-the-art":[189],"maintaining":[193],"or":[194],"improving":[195],"quality.":[197]},"counts_by_year":[],"updated_date":"2026-04-23T06:14:38.165362","created_date":"2025-10-10T00:00:00"}