{"id":"https://openalex.org/W3212751295","doi":"https://doi.org/10.1109/iccad51958.2021.9643587","title":"Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning","display_name":"Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W3212751295","doi":"https://doi.org/10.1109/iccad51958.2021.9643587","mag":"3212751295"},"language":"en","primary_location":{"id":"doi:10.1109/iccad51958.2021.9643587","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad51958.2021.9643587","pdf_url":null,"source":{"id":"https://openalex.org/S4363608354","display_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-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/A5101596930","display_name":"Jiaxi Zhang","orcid":"https://orcid.org/0000-0002-1115-7850"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiaxi Zhang","raw_affiliation_strings":["Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","Peng Cheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Peng Cheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020240041","display_name":"Liwei Ni","orcid":"https://orcid.org/0000-0003-3870-417X"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Ni","raw_affiliation_strings":["Peng Cheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Peng Cheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077160371","display_name":"Shenggen Zheng","orcid":"https://orcid.org/0000-0001-7325-2506"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shenggen Zheng","raw_affiliation_strings":["Peng Cheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Peng Cheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068253002","display_name":"Hao Liu","orcid":"https://orcid.org/0000-0003-0089-4254"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Liu","raw_affiliation_strings":["Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004915768","display_name":"Xiangfu Zou","orcid":"https://orcid.org/0000-0002-0027-8171"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangfu Zou","raw_affiliation_strings":["Peng Cheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Peng Cheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077762368","display_name":"Feng Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Wang","raw_affiliation_strings":["Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023468643","display_name":"Guojie Luo","orcid":"https://orcid.org/0000-0003-4932-3655"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guojie Luo","raw_affiliation_strings":["Advanced Institute of Information Technology, Peking University, Hangzhou, China","Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","Peng Cheng Laboratory, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Advanced Institute of Information Technology, Peking University, Hangzhou, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Peng Cheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101596930"],"corresponding_institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210136793"],"apc_list":null,"apc_paid":null,"fwci":1.5545,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.79481132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9987999796867371,"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"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9987999796867371,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"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/boolean-function","display_name":"Boolean function","score":0.7795331478118896},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.7358784079551697},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.7357979416847229},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.6922666430473328},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.612181544303894},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.6062895059585571},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.5681099891662598},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.5658503174781799},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.5541523694992065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.492014616727829},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48294657468795776},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.46478673815727234},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.44687938690185547},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44148653745651245},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4300442636013031},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.4289025366306305},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.12081706523895264}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7795331478118896},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.7358784079551697},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.7357979416847229},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.6922666430473328},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.612181544303894},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6062895059585571},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.5681099891662598},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.5658503174781799},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.5541523694992065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.492014616727829},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48294657468795776},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.46478673815727234},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.44687938690185547},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44148653745651245},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4300442636013031},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.4289025366306305},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.12081706523895264},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad51958.2021.9643587","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad51958.2021.9643587","pdf_url":null,"source":{"id":"https://openalex.org/S4363608354","display_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1720568649","display_name":null,"funder_award_id":"62090021","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":18,"referenced_works":["https://openalex.org/W1867758558","https://openalex.org/W1977926680","https://openalex.org/W1985572324","https://openalex.org/W2000931246","https://openalex.org/W2012496360","https://openalex.org/W2039485990","https://openalex.org/W2078137578","https://openalex.org/W2105301752","https://openalex.org/W2130407699","https://openalex.org/W2133743520","https://openalex.org/W2142839378","https://openalex.org/W2329391141","https://openalex.org/W2538588240","https://openalex.org/W2743243077","https://openalex.org/W2900055156","https://openalex.org/W2963843665","https://openalex.org/W3139969152","https://openalex.org/W4252129833"],"related_works":["https://openalex.org/W2995617542","https://openalex.org/W4231391991","https://openalex.org/W2077017336","https://openalex.org/W2735569833","https://openalex.org/W2105128170","https://openalex.org/W2516690985","https://openalex.org/W2540591360","https://openalex.org/W2062972911","https://openalex.org/W4239032960","https://openalex.org/W1564702418"],"abstract_inverted_index":{"Boolean":[0,13,37,53,78,91,98,101,111,123,134,165,201,219,252],"matching":[1,14,102,147,253],"is":[2,15,39,42,177,211],"significant":[3],"to":[4,84,108,122,140,157,218,238,246],"digital":[5],"integrated":[6,193],"circuits":[7],"design.":[8],"An":[9],"exhaustive":[10],"method":[11,156],"for":[12,19,34,133],"computationally":[16],"expensive":[17],"even":[18],"functions":[20,79,202],"with":[21,168],"only":[22],"a":[23,47,75,152,178,239],"few":[24],"variables,":[25],"because":[26],"the":[27,50,62,87,142,146,169,199,205,212,235,250],"time":[28],"complexity":[29,51,63],"of":[30,49,52,61,64,77,90,145,163,180,182,207],"such":[31],"an":[32,35,43],"algorithm":[33],"n-variable":[36],"function":[38],"O(2n+1n!).":[40],"Sensitivity":[41],"important":[44],"characteristic":[45],"and":[46,80,103,159,172,197,243],"measure":[48,70],"functions.":[54,166],"It":[55],"has":[56,81],"been":[57],"used":[58],"in":[59,66,230],"analysis":[60],"algorithms":[65],"different":[67],"fields.":[68],"This":[69],"could":[71],"be":[72,191],"regarded":[73],"as":[74],"signature":[76],"great":[82],"potential":[83],"help":[85],"reduce":[86,141,234],"search":[88,143,236],"space":[89,144,237],"matching.":[92,112,220],"In":[93],"this":[94,210,231],"paper,":[95],"we":[96,114,126,137,150,228],"introduce":[97],"sensitivity":[99,121,154,176,189,217],"into":[100,194],"design":[104],"several":[105],"sensitivity-related":[106,226],"signatures":[107,118,130,162,181,227],"enhance":[109],"fast":[110,153],"First,":[113],"propose":[115],"some":[116],"new":[117],"that":[119,128,188,215,225],"relate":[120],"equivalence.":[124],"Then,":[125],"prove":[127],"these":[129,161],"are":[131],"prerequisites":[132],"matching,":[135],"which":[136],"can":[138,190,233],"use":[139],"problem.":[148],"Besides,":[149],"develop":[151],"calculation":[155],"compute":[158],"compare":[160],"two":[164],"Compared":[167],"traditional":[170,195],"cofactor":[171],"symmetric":[173],"detection":[174],"methods,":[175],"series":[179],"another":[183],"dimension.":[184],"We":[185],"also":[186],"show":[187,224],"easily":[192],"methods":[196],"distinguish":[198],"mismatched":[200],"faster.":[203],"To":[204],"best":[206],"our":[208],"knowledge,":[209],"first":[213],"work":[214],"introduces":[216],"The":[221],"experimental":[222],"results":[223],"proposed":[229],"paper":[232],"very":[240],"large":[241],"extent,":[242],"perform":[244],"up":[245],"3x":[247],"speedup":[248],"over":[249],"state-of-the-art":[251],"methods.":[254]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}