{"id":"https://openalex.org/W4319866033","doi":"https://doi.org/10.1109/tac.2023.3241237","title":"Distributed Algorithms for Boolean Equations Over Networks","display_name":"Distributed Algorithms for Boolean Equations Over Networks","publication_year":2023,"publication_date":"2023-01-31","ids":{"openalex":"https://openalex.org/W4319866033","doi":"https://doi.org/10.1109/tac.2023.3241237"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2023.3241237","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3241237","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5076197013","display_name":"Hongsheng Qi","orcid":"https://orcid.org/0000-0002-1698-7570"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongsheng Qi","raw_affiliation_strings":["Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100448719","display_name":"Bo Li","orcid":"https://orcid.org/0000-0003-4885-0656"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Li","raw_affiliation_strings":["Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091101857","display_name":"Rui-Juan Jing","orcid":"https://orcid.org/0000-0001-6932-8862"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui-Juan Jing","raw_affiliation_strings":["Faculty of Science, Jiangsu University, Zhenjiang, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100740405","display_name":"Lei Wang","orcid":"https://orcid.org/0000-0002-6109-5619"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Wang","raw_affiliation_strings":["College of Control Science and Engineering, Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025136069","display_name":"Alexandre Prouti\u00e8re","orcid":"https://orcid.org/0000-0002-4679-4673"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Alexandre Proutiere","raw_affiliation_strings":["Department of Automatic Control, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Automatic Control, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101779749","display_name":"Guodong Shi","orcid":"https://orcid.org/0000-0002-5929-9655"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]},{"id":"https://openalex.org/I4210127558","display_name":"Australian Centre for Robotic Vision","ror":"https://ror.org/02zv9xv82","country_code":"AU","type":"facility","lineage":["https://openalex.org/I4210127558"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Guodong Shi","raw_affiliation_strings":["Australian Center for Field Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"Australian Center for Field Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, NSW, Australia","institution_ids":["https://openalex.org/I4210127558","https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5076197013"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210120485","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":1.2238,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82383011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"68","issue":"11","first_page":"6589","last_page":"6604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.6800325512886047},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.636727511882782},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5798688530921936},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5554253458976746},{"id":"https://openalex.org/keywords/linear-equation","display_name":"Linear equation","score":0.5112943649291992},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.508143424987793},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.49574264883995056},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.49374279379844666},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.46237727999687195},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4315788149833679},{"id":"https://openalex.org/keywords/boolean-model","display_name":"Boolean model","score":0.4297507107257843},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4238743782043457},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4217129945755005},{"id":"https://openalex.org/keywords/system-of-linear-equations","display_name":"System of linear equations","score":0.414264440536499},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4022566080093384},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39814338088035583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39447450637817383}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.6800325512886047},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.636727511882782},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5798688530921936},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5554253458976746},{"id":"https://openalex.org/C77346573","wikidata":"https://www.wikidata.org/wiki/Q484637","display_name":"Linear equation","level":2,"score":0.5112943649291992},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.508143424987793},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.49574264883995056},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.49374279379844666},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.46237727999687195},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4315788149833679},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.4297507107257843},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4238743782043457},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4217129945755005},{"id":"https://openalex.org/C94523830","wikidata":"https://www.wikidata.org/wiki/Q11203","display_name":"System of linear equations","level":2,"score":0.414264440536499},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4022566080093384},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39814338088035583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39447450637817383},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2023.3241237","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3241237","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1885421765","display_name":null,"funder_award_id":"BK20200903","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G3567117816","display_name":null,"funder_award_id":"LP210200473","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G5319174282","display_name":null,"funder_award_id":"61733018","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5418894820","display_name":null,"funder_award_id":"DP190103615","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G5611804467","display_name":null,"funder_award_id":"62203386","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5870579199","display_name":null,"funder_award_id":"12101267","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6348409368","display_name":null,"funder_award_id":"LZ23F030008","funder_id":"https://openalex.org/F4320338464","funder_display_name":"Natural Science Foundation of Zhejiang Province"},{"id":"https://openalex.org/G7879707153","display_name":null,"funder_award_id":"61873262","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G812816055","display_name":null,"funder_award_id":"DP220101197","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"},{"id":"https://openalex.org/F4320338464","display_name":"Natural Science Foundation of Zhejiang Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W613360614","https://openalex.org/W1920382817","https://openalex.org/W1979043738","https://openalex.org/W1980223785","https://openalex.org/W1980868027","https://openalex.org/W1991720013","https://openalex.org/W2003137566","https://openalex.org/W2022846948","https://openalex.org/W2027282006","https://openalex.org/W2027595342","https://openalex.org/W2033511209","https://openalex.org/W2053961182","https://openalex.org/W2076760379","https://openalex.org/W2076828119","https://openalex.org/W2080029934","https://openalex.org/W2085382249","https://openalex.org/W2095823805","https://openalex.org/W2103406309","https://openalex.org/W2107362923","https://openalex.org/W2108306501","https://openalex.org/W2111857756","https://openalex.org/W2114791779","https://openalex.org/W2118820208","https://openalex.org/W2120286056","https://openalex.org/W2136433622","https://openalex.org/W2147063476","https://openalex.org/W2154645018","https://openalex.org/W2154834860","https://openalex.org/W2168005367","https://openalex.org/W2235630963","https://openalex.org/W2486512961","https://openalex.org/W2564963710","https://openalex.org/W2567931453","https://openalex.org/W2963112534","https://openalex.org/W2963125098","https://openalex.org/W2964198721","https://openalex.org/W2998678115","https://openalex.org/W3038283795","https://openalex.org/W3098954913","https://openalex.org/W3102692023","https://openalex.org/W3104269091","https://openalex.org/W3119474393","https://openalex.org/W3119776376","https://openalex.org/W3128549774","https://openalex.org/W4205300528","https://openalex.org/W4298227433","https://openalex.org/W6608076765","https://openalex.org/W6787818654"],"related_works":["https://openalex.org/W2770822254","https://openalex.org/W2108419456","https://openalex.org/W4383066791","https://openalex.org/W4322827077","https://openalex.org/W4243221174","https://openalex.org/W67752311","https://openalex.org/W3141532631","https://openalex.org/W2131164334","https://openalex.org/W2995617542","https://openalex.org/W4231391991"],"abstract_inverted_index":{"In":[0],"this":[1,42,49],"article,":[2],"we":[3,76,113,236],"study":[4],"systems":[5],"of":[6,48,89,96,132,168,200,218,221],"Boolean":[7,21,27,67,73,80,97,117,148,153,162,202,222,255],"equations":[8,68,81,92,149,203,223],"over":[9],"a":[10,35,87,94,110,115,130,151,185,189],"network,":[11],"where":[12],"each":[13,205],"node":[14,33,43,206],"in":[15,188],"the":[16,24,46,59,65,79,121,124,140,146,165,169,172,196,201,219,225,249,253],"network":[17,66,127],"possesses":[18],"only":[19],"one":[20],"equation":[22,28,39,107,118,128,175,242,256],"from":[23],"system.":[25],"The":[26],"assigned":[29],"at":[30,204],"any":[31],"particular":[32],"is":[34,51,100,227],"<italic":[36],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[37],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">private</i>":[38],"known":[40,229],"to":[41,52,61,64,86,145,184,247],"only,":[44],"and":[45,137,231],"aim":[47],"article":[50],"develop":[53],"distributed":[54,105,116,173,181,216,254],"algorithms":[55,108,257],"that":[56,78,159,238],"allow":[57],"all":[58],"nodes":[60,122,170],"obtain":[62],"solutions":[63,142,144],"without":[69],"exchanging":[70],"their":[71],"local":[72],"equations.":[74],"First,":[75],"observe":[77],"can":[82,258],"be":[83,259],"locally":[84],"lifted":[85,125],"system":[88],"linear":[90,106,126,174,241],"algebraic":[91,141],"under":[93],"basis":[95],"vectors,":[98],"which":[99],"distributedly":[101],"solvable":[102,161],"using":[103],"existing":[104],"as":[109],"subroutine.":[111],"Next,":[112],"construct":[114],"solver":[119],"by":[120,150,239],"solving":[123,176],"for":[129,160,171,215],"number":[131],"randomly":[133],"selected":[134,182],"initial":[135,166],"values,":[136],"then":[138],"converting":[139],"into":[143],"original":[147],"novel":[152],"vector":[154],"search":[155],"algorithm.":[156],"We":[157,210],"prove":[158,232],"equations,":[163],"when":[164,224],"values":[167],"step":[177],"are":[178],"independent":[179],"identically":[180],"according":[183],"uniform":[186],"distribution":[187],"high-dimensional":[190],"cube,":[191],"such":[192],"an":[193,213],"algorithm":[194,214],"returns":[195],"exact":[197],"solution":[198],"set":[199],"with":[207,244],"high":[208],"probability.":[209],"also":[211],"present":[212],"verification":[217],"satisfiability":[220],"solvability":[226],"not":[228],"beforehand,":[230],"its":[233],"correctness.":[234],"Finally,":[235],"show":[237],"utilizing":[240],"solvers":[243],"differential":[245],"privacy":[246],"replace":[248],"in-network":[250],"computing":[251],"routines,":[252],"made":[260],"differentially":[261],"private":[262]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}