{"id":"https://openalex.org/W4283766969","doi":"https://doi.org/10.1093/comjnl/bxac072","title":"Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation","display_name":"Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4283766969","doi":"https://doi.org/10.1093/comjnl/bxac072"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxac072","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxac072","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","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/A5076306256","display_name":"Xiao Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Zeng","raw_affiliation_strings":["University of Electronic Science and Technology of China , Chengdu 611731 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China , Chengdu 611731 , China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012354366","display_name":"Guowu Yang","orcid":"https://orcid.org/0000-0002-5133-0320"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guowu Yang","raw_affiliation_strings":["Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082437433","display_name":"Xiaoyu Song","orcid":"https://orcid.org/0000-0002-6583-9400"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoyu Song","raw_affiliation_strings":["Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048693034","display_name":"Marek Perkowski","orcid":"https://orcid.org/0000-0002-0358-1176"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marek A Perkowski","raw_affiliation_strings":["Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering , Portland State University, Portland, OR 97201 USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100389337","display_name":"Gang Chen","orcid":"https://orcid.org/0000-0003-4970-2540"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Chen","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics , Jiangjun Rd. Campus: 29 Jiangjun Ave., Nanjing 211100, Nanjing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics , Jiangjun Rd. Campus: 29 Jiangjun Ave., Nanjing 211100, Nanjing , China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012354366"],"corresponding_institution_ids":["https://openalex.org/I126345244"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":0.3936,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65747604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"66","issue":"9","first_page":"2220","last_page":"2229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9986000061035156,"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/T11130","display_name":"Coding theory and cryptography","score":0.9986000061035156,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9983000159263611,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7735638618469238},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6971337199211121},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.547450602054596},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.5297770500183105},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5220844149589539},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5114389657974243},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4909382164478302},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.48280060291290283},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.46881556510925293},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4451938569545746},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.44200462102890015},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4312435984611511},{"id":"https://openalex.org/keywords/affine-hull","display_name":"Affine hull","score":0.4290352463722229},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41345125436782837},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35222136974334717},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33954912424087524},{"id":"https://openalex.org/keywords/affine-space","display_name":"Affine space","score":0.2866581082344055},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1451767385005951}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7735638618469238},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6971337199211121},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.547450602054596},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.5297770500183105},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5220844149589539},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5114389657974243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4909382164478302},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.48280060291290283},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.46881556510925293},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4451938569545746},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.44200462102890015},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4312435984611511},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.4290352463722229},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41345125436782837},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35222136974334717},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33954912424087524},{"id":"https://openalex.org/C173110770","wikidata":"https://www.wikidata.org/wiki/Q382698","display_name":"Affine space","level":3,"score":0.2866581082344055},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1451767385005951},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/comjnl/bxac072","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxac072","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:pdxscholar.library.pdx.edu:ece_fac-1702","is_oa":false,"landing_page_url":"https://pdxscholar.library.pdx.edu/ece_fac/695","pdf_url":null,"source":{"id":"https://openalex.org/S4377196300","display_name":"PDXScholar  (Portland State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126345244","host_organization_name":"Portland State University","host_organization_lineage":["https://openalex.org/I126345244"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical and Computer Engineering Faculty Publications and Presentations","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8768493162","display_name":null,"funder_award_id":"2019GXNSFAA185033","funder_id":"https://openalex.org/F4320322768","funder_display_name":"Natural Science Foundation of Guangxi Province"},{"id":"https://openalex.org/G8950979096","display_name":null,"funder_award_id":"62172075","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"},{"id":"https://openalex.org/F4320322768","display_name":"Natural Science Foundation of Guangxi Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W129825949","https://openalex.org/W288077533","https://openalex.org/W1999543351","https://openalex.org/W2003858108","https://openalex.org/W2020797783","https://openalex.org/W2024900297","https://openalex.org/W2044105294","https://openalex.org/W2082960263","https://openalex.org/W2114638353","https://openalex.org/W2126255765","https://openalex.org/W2129632939","https://openalex.org/W2142958490","https://openalex.org/W2146532505","https://openalex.org/W2158228663","https://openalex.org/W2344561532","https://openalex.org/W2792174692","https://openalex.org/W2899817151","https://openalex.org/W2952842760","https://openalex.org/W3041601145","https://openalex.org/W3046310365","https://openalex.org/W4230591936","https://openalex.org/W4252740254","https://openalex.org/W4252937307","https://openalex.org/W6606526936","https://openalex.org/W6760996486","https://openalex.org/W6765018304"],"related_works":["https://openalex.org/W4231391991","https://openalex.org/W1159523076","https://openalex.org/W2289022454","https://openalex.org/W2117179527","https://openalex.org/W2737808843","https://openalex.org/W4388918086","https://openalex.org/W1972685147","https://openalex.org/W2735569833","https://openalex.org/W1991822629","https://openalex.org/W2201850830"],"abstract_inverted_index":{"Abstract":[0],"Affine":[1],"equivalence":[2,26],"of":[3,27,40,90,99,136,164],"Boolean":[4,28,42,61,118],"functions":[5,29,119],"has":[6,96],"various":[7],"applications":[8],"in":[9,31,129,162],"computer":[10],"science":[11],"and":[12,19,50,108,131,159,187,197],"modern":[13],"cryptography,":[14],"such":[15],"as":[16],"circuit":[17,148,153,158,182,186,196],"design":[18],"S-boxes.":[20],"Existing":[21],"methods":[22,49,107],"for":[23,112,183],"detecting":[24],"affine":[25,91,152,180],"work":[30,175],"some":[32],"cases":[33],"but":[34],"not":[35],"when":[36,116],"the":[37,60,67,74,87,97,117,122,134,165,173,188],"truth":[38],"table":[39],"a":[41,56,64,101,156],"function":[43,62,65,71],"is":[44,109,172],"sparse.":[45],"To":[46,168],"improve":[47],"previous":[48,106],"overcome":[51],"this":[52,171,192],"limitation,":[53],"we":[54],"propose":[55],"method":[57],"by":[58,154,193],"transforming":[59],"to":[63,80,145,176,190],"with":[66],"property":[68],"that":[69],"its":[70,150],"values":[72],"at":[73],"orthonormal":[75],"basis":[76],"are":[77,120],"all":[78],"equal":[79],"1":[81],"or":[82],"0,":[83],"which":[84],"narrows":[85],"down":[86],"search":[88,103,123],"space":[89,104,124],"transformations.":[92],"Our":[93],"first":[94,138,174,189],"algorithm":[95,144],"advantage":[98],"getting":[100],"smaller":[102],"than":[105],"especially":[110],"useful":[111],"sparse":[113],"functions.":[114],"Specifically,":[115],"sparse,":[121],"can":[125],"be":[126],"reduced":[127],"exponentially":[128],"average":[130],"experiments":[132],"show":[133],"efficiency":[135],"our":[137,169],"algorithm.":[139],"We":[140],"then":[141],"present":[142],"another":[143],"transform":[146],"one":[147],"into":[149],"equivalent":[151,181],"synthesizing":[155],"reversible":[157,195],"inserting":[160],"it":[161],"front":[163],"original":[166],"circuit.":[167,199],"knowledge,":[170],"automatically":[177],"synthesize":[178],"an":[179],"any":[184],"given":[185],"do":[191],"combining":[194],"non-reversible":[198]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}