{"id":"https://openalex.org/W4415883259","doi":"https://doi.org/10.1109/tcad.2025.3628790","title":"<i>BoolSkeleton</i> : Boolean Network Skeletonization via Homogeneous Pattern Reduction","display_name":"<i>BoolSkeleton</i> : Boolean Network Skeletonization via Homogeneous Pattern Reduction","publication_year":2025,"publication_date":"2025-11-04","ids":{"openalex":"https://openalex.org/W4415883259","doi":"https://doi.org/10.1109/tcad.2025.3628790"},"language":null,"primary_location":{"id":"doi:10.1109/tcad.2025.3628790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3628790","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/A5095848519","display_name":"Liwei Ni","orcid":"https://orcid.org/0009-0003-7525-9375"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Ni","raw_affiliation_strings":["Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-7525-9375","affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003491032","display_name":"Jiaxi Zhang","orcid":"https://orcid.org/0000-0001-6599-6142"},"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":"Jiaxi Zhang","raw_affiliation_strings":["Peking University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6599-6142","affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"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/I4400600918","display_name":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area","ror":"https://ror.org/03qb6k992","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4400600918"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shenggen Zheng","raw_affiliation_strings":["Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area, Shenzhen, China","institution_ids":["https://openalex.org/I4400600918"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033252786","display_name":"Junfeng Liu","orcid":"https://orcid.org/0009-0006-8205-4564"},"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":"Junfeng Liu","raw_affiliation_strings":["Pengcheng Laboratory, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0006-8205-4564","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076193275","display_name":"Xingyu Meng","orcid":"https://orcid.org/0000-0001-5787-0101"},"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":"Xingyu Meng","raw_affiliation_strings":["Pengcheng Laboratory, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0001-5787-0101","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107771061","display_name":"Biwei Xie","orcid":"https://orcid.org/0000-0003-4045-6806"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Biwei Xie","raw_affiliation_strings":["Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012196564","display_name":"Xingquan Li","orcid":"https://orcid.org/0000-0002-7145-9391"},"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":"Xingquan Li","raw_affiliation_strings":["Pengcheng Laboratory, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-7145-9391","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory, Shenzhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100768288","display_name":"Huawei Li","orcid":"https://orcid.org/0000-0001-8082-4218"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huawei Li","raw_affiliation_strings":["Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8082-4218","affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5141,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71690907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"45","issue":"7","first_page":"3238","last_page":"3251"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.367900013923645,"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"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.367900013923645,"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"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.16869999468326569,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0723000019788742,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.8629000186920166},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.6837000250816345},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.5843999981880188},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5758000016212463},{"id":"https://openalex.org/keywords/boolean-model","display_name":"Boolean model","score":0.566100001335144},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.5633999705314636},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.5314000248908997},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5268999934196472},{"id":"https://openalex.org/keywords/logical-matrix","display_name":"Logical matrix","score":0.45249998569488525},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.44190001487731934}],"concepts":[{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.8629000186920166},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.6837000250816345},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.5843999981880188},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5758000016212463},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.566100001335144},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.5633999705314636},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.5314000248908997},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5278000235557556},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5268999934196472},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5234000086784363},{"id":"https://openalex.org/C163561899","wikidata":"https://www.wikidata.org/wiki/Q1994977","display_name":"Logical matrix","level":3,"score":0.45249998569488525},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.44190001487731934},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.4334000051021576},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41359999775886536},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38029998540878296},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.37139999866485596},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3628999888896942},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3140000104904175},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27790001034736633},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.26570001244544983},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C23951316","wikidata":"https://www.wikidata.org/wiki/Q1984140","display_name":"Skeletonization","level":2,"score":0.2574999928474426},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.25589999556541443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3628790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3628790","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/G4478266629","display_name":null,"funder_award_id":"62090024","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Boolean":[0,3,32,45,71,78,154,184],"equivalence":[1],"allows":[2],"networks":[4],"with":[5],"identical":[6],"functionality":[7],"to":[8,106,181,200],"exhibit":[9],"diverse":[10,169],"graph":[11,139],"structures.":[12],"This":[13],"gives":[14],"more":[15],"room":[16],"for":[17,27,96,186],"exploration":[18],"in":[19,176,204],"logic":[20,205],"optimization,":[21],"while":[22,111],"also":[23],"posing":[24],"a":[25,43,76],"challenge":[26],"tasks":[28,151],"involving":[29],"consistency":[30,52,203],"between":[31],"networks.":[33],"To":[34,141],"tackle":[35],"this":[36],"challenge,":[37],"we":[38,147],"introduce":[39],"<italic":[40,58,118,143,197],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[41,59,119,144,198],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BoolSkeleton</i>,":[42],"novel":[44],"network":[46,72,185],"skeletonization":[47],"method":[48],"that":[49],"improves":[50,173],"the":[51,70,85,89,97,122,126,136,153,177,182,187,194],"and":[53,66,91,162],"reliability":[54],"of":[55,121,129,138,196],"design-specific":[56],"evaluations.":[57],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BoolSkeleton</i>":[60,199],"comprises":[61],"two":[62],"key":[63],"steps:":[64],"preprocessing":[65],"reduction.":[67,140],"In":[68],"preprocessing,":[69],"is":[73],"transformed":[74],"into":[75],"defined":[77,95],"dependency":[79],"graph,":[80],"where":[81],"nodes":[82],"are":[83,94,104],"assigned":[84],"functionality-related":[86,109],"status.":[87],"Next,":[88],"homogeneous":[90,112],"heterogeneous":[92],"patterns":[93,103,113],"node-level":[98],"pattern":[99,123],"reduction":[100],"step.":[101],"Heterogeneous":[102],"preserved":[105],"maintain":[107],"critical":[108,159],"dependencies,":[110],"can":[114],"be":[115],"reduced.":[116],"Parameter":[117],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">K</i>":[120],"further":[124],"constrains":[125],"fanin":[127],"size":[128],"these":[130],"patterns,":[131],"enabling":[132],"fine-tuned":[133],"control":[134],"over":[135],"granularity":[137],"validate":[142],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BoolSkeleton</i>\u2019s":[145],"effectiveness,":[146],"conducted":[148],"four":[149],"analysis/downstream":[150],"around":[152],"network:":[155],"compression":[156],"analysis,":[157,161],"classification,":[158],"path":[160],"timing":[163,188],"prediction,":[164],"demonstrating":[165],"its":[166],"robustness":[167],"across":[168],"scenarios.":[170],"Furthermore,":[171],"it":[172],"above":[174],"55%":[175],"average":[178],"accuracy":[179],"compared":[180],"original":[183],"prediction":[189],"task.":[190],"These":[191],"experiments":[192],"underscore":[193],"potential":[195],"enhance":[201],"design":[202],"synthesis.":[206]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2025-11-04T00:00:00"}