{"id":"https://openalex.org/W4386763572","doi":"https://doi.org/10.1109/dac56929.2023.10247727","title":"A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting","display_name":"A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting","publication_year":2023,"publication_date":"2023-07-09","ids":{"openalex":"https://openalex.org/W4386763572","doi":"https://doi.org/10.1109/dac56929.2023.10247727"},"language":"en","primary_location":{"id":"doi:10.1109/dac56929.2023.10247727","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5066987271","display_name":"Xuliang Zhu","orcid":"https://orcid.org/0000-0003-0655-8809"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xuliang Zhu","raw_affiliation_strings":["Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","Department of Computer Science, Hong Kong Baptist University, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027570395","display_name":"Ruofei Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ruofei Tang","raw_affiliation_strings":["Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","Department of Computer Science, Hong Kong Baptist University, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101515872","display_name":"Lei Chen","orcid":"https://orcid.org/0000-0002-1054-5501"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Chen","raw_affiliation_strings":["Huawei Noah’s Ark Lab,Hong Kong,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab,Hong Kong,China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100600290","display_name":"Xing Li","orcid":"https://orcid.org/0000-0003-1669-5954"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xing Li","raw_affiliation_strings":["Huawei Noah’s Ark Lab,Hong Kong,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab,Hong Kong,China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110368410","display_name":"Xin Huang","orcid":"https://orcid.org/0009-0004-3607-5394"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xin Huang","raw_affiliation_strings":["Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","Department of Computer Science, Hong Kong Baptist University, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078949174","display_name":"Mingxuan Yuan","orcid":"https://orcid.org/0000-0002-2236-8784"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingxuan Yuan","raw_affiliation_strings":["Huawei Noah’s Ark Lab,Hong Kong,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab,Hong Kong,China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101709744","display_name":"Weihua Sheng","orcid":"https://orcid.org/0009-0000-0810-2042"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weihua Sheng","raw_affiliation_strings":["Huawei Hong Kong Research Center,Hong Kong,China","Huawei Hong Kong Research Center, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Hong Kong Research Center,Hong Kong,China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Huawei Hong Kong Research Center, Hong Kong, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008564713","display_name":"Jianliang Xu","orcid":"https://orcid.org/0000-0001-9404-5848"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jianliang Xu","raw_affiliation_strings":["Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","Department of Computer Science, Hong Kong Baptist University, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University,Department of Computer Science,Hong Kong,China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.9528176784515381},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8027804493904114},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6849153637886047},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5913676619529724},{"id":"https://openalex.org/keywords/window","display_name":"Window (computing)","score":0.5824288725852966},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4709041118621826},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4084382951259613},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4041934609413147},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34409427642822266},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33753037452697754},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09981822967529297}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9528176784515381},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8027804493904114},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6849153637886047},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5913676619529724},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.5824288725852966},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4709041118621826},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4084382951259613},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4041934609413147},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34409427642822266},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33753037452697754},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09981822967529297},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac56929.2023.10247727","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1985457698","https://openalex.org/W2050779425","https://openalex.org/W2100465945","https://openalex.org/W2138118117","https://openalex.org/W2242458479","https://openalex.org/W2533987500","https://openalex.org/W2590761278","https://openalex.org/W2913953585","https://openalex.org/W2935888545","https://openalex.org/W2946189651","https://openalex.org/W3004638901","https://openalex.org/W3036425636","https://openalex.org/W4213162744","https://openalex.org/W4236561906","https://openalex.org/W4239471299","https://openalex.org/W6636505876","https://openalex.org/W6649256280"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W1577544887","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W4205908955","https://openalex.org/W2132239740"],"abstract_inverted_index":{"Rewriting":[0],"is":[1,68],"a":[2,20,37,48],"widely":[3],"used":[4],"logic":[5,12],"optimization":[6],"approach":[7],"incorporated":[8],"in":[9],"most":[10],"commercial":[11],"synthesis":[13,54],"tools.":[14],"In":[15],"this":[16],"paper,":[17],"we":[18],"present":[19],"new":[21],"rewriting":[22],"method":[23],"based":[24],"on":[25,32,104],"And-Inverted":[26],"Graph":[27],"(AIG).":[28],"Rather":[29],"than":[30,95],"focusing":[31],"cut":[33],"rewriting,":[34],"it":[35],"considers":[36],"novel":[38],"sub-structure":[39],"called":[40],"Maximum":[41],"Fanout-Free":[42],"Window":[43],"(MFFW)":[44],"and":[45,55,111],"rewrites":[46],"with":[47],"more":[49,94],"compact":[50],"implementation.":[51],"Both":[52],"exact":[53],"heuristic":[56],"methods":[57],"can":[58],"be":[59],"adopted":[60],"to":[61,70,75,84],"optimize":[62],"MFFWs.":[63],"A":[64],"database":[65],"dependent":[66],"framework":[67],"proposed":[69,115],"store":[71],"the":[72,77,82,86,89,98,109],"optimal":[73],"sub-structures":[74],"accelerate":[76],"processing.":[78],"We":[79],"further":[80],"propose":[81],"semi-canonicalization":[83],"reduce":[85,93],"scale":[87],"of":[88,97,113],"database,":[90],"which":[91],"could":[92],"98%":[96],"4-input":[99],"MFFW":[100],"database.":[101],"Extensive":[102],"experiments":[103],"benchmark":[105],"datasets":[106],"demonstrate":[107],"both":[108],"effectiveness":[110],"efficiency":[112],"our":[114],"framework.":[116]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}