{"id":"https://openalex.org/W4409252237","doi":"https://doi.org/10.1093/jcde/qwaf039","title":"BRAN2SAT: Redundant satisfiability logic in Lyapunov-based discrete Hopfield neural network","display_name":"BRAN2SAT: Redundant satisfiability logic in Lyapunov-based discrete Hopfield neural network","publication_year":2025,"publication_date":"2025-03-29","ids":{"openalex":"https://openalex.org/W4409252237","doi":"https://doi.org/10.1093/jcde/qwaf039"},"language":"en","primary_location":{"id":"doi:10.1093/jcde/qwaf039","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jcde/qwaf039","pdf_url":"https://academic.oup.com/jcde/advance-article-pdf/doi/10.1093/jcde/qwaf039/62892614/qwaf039.pdf","source":{"id":"https://openalex.org/S2485147958","display_name":"Journal of Computational Design and Engineering","issn_l":"2288-4300","issn":["2288-4300","2288-5048"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computational Design and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://academic.oup.com/jcde/advance-article-pdf/doi/10.1093/jcde/qwaf039/62892614/qwaf039.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100537925","display_name":"Binbin Yang","orcid":"https://orcid.org/0009-0009-2708-3444"},"institutions":[{"id":"https://openalex.org/I139322472","display_name":"Universiti Sains Malaysia","ror":"https://ror.org/02rgb2k63","country_code":"MY","type":"education","lineage":["https://openalex.org/I139322472"]},{"id":"https://openalex.org/I163732180","display_name":"Guangxi University of Finance and Economics","ror":"https://ror.org/02ayg6516","country_code":"CN","type":"education","lineage":["https://openalex.org/I163732180"]}],"countries":["CN","MY"],"is_corresponding":true,"raw_author_name":"Binbin Yang","raw_affiliation_strings":["Guangxi Key Laboratory of Big Data in Finance and Economics, Guangxi University of Finance and Economics , Nanning 530003 ,","School of Big Data and Artificial Intelligence, Guangxi University of Finance and Economics , Nanning 530003 ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","School of Big Data and Artificial Intelligence, Guangxi University of Finance and Economics , Nanning, 530003 ,"],"affiliations":[{"raw_affiliation_string":"Guangxi Key Laboratory of Big Data in Finance and Economics, Guangxi University of Finance and Economics , Nanning 530003 ,","institution_ids":["https://openalex.org/I163732180"]},{"raw_affiliation_string":"School of Big Data and Artificial Intelligence, Guangxi University of Finance and Economics , Nanning 530003 ,","institution_ids":["https://openalex.org/I163732180"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Big Data and Artificial Intelligence, Guangxi University of Finance and Economics , Nanning, 530003 ,","institution_ids":["https://openalex.org/I163732180"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101666498","display_name":"Guoxiang Li","orcid":"https://orcid.org/0000-0002-5515-1717"},"institutions":[{"id":"https://openalex.org/I163732180","display_name":"Guangxi University of Finance and Economics","ror":"https://ror.org/02ayg6516","country_code":"CN","type":"education","lineage":["https://openalex.org/I163732180"]},{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoxiang Li","raw_affiliation_strings":["Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University , Guilin 541004 ,","Network and Information Technology Center, Guangxi University of Finance and Economics , Nanning 530007 ,","Guangxi Normal University, Key Lab of Education Blockchain and Intelligent Technology , Ministry of Education, Guilin, 541004 ,","Guangxi University of Finance and Economics, Network and Information Technology Center , Nanning, 530007 ,"],"affiliations":[{"raw_affiliation_string":"Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University , Guilin 541004 ,","institution_ids":["https://openalex.org/I29739308"]},{"raw_affiliation_string":"Network and Information Technology Center, Guangxi University of Finance and Economics , Nanning 530007 ,","institution_ids":["https://openalex.org/I163732180"]},{"raw_affiliation_string":"Guangxi Normal University, Key Lab of Education Blockchain and Intelligent Technology , Ministry of Education, Guilin, 541004 ,","institution_ids":["https://openalex.org/I29739308"]},{"raw_affiliation_string":"Guangxi University of Finance and Economics, Network and Information Technology Center , Nanning, 530007 ,","institution_ids":["https://openalex.org/I163732180"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043925838","display_name":"Adila Aida Azahar","orcid":null},"institutions":[{"id":"https://openalex.org/I139322472","display_name":"Universiti Sains Malaysia","ror":"https://ror.org/02rgb2k63","country_code":"MY","type":"education","lineage":["https://openalex.org/I139322472"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Adila Aida Azahar","raw_affiliation_strings":["School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","institution_ids":["https://openalex.org/I139322472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058046014","display_name":"Mohd Shareduwan Mohd Kasihmuddin","orcid":"https://orcid.org/0000-0001-9125-1101"},"institutions":[{"id":"https://openalex.org/I139322472","display_name":"Universiti Sains Malaysia","ror":"https://ror.org/02rgb2k63","country_code":"MY","type":"education","lineage":["https://openalex.org/I139322472"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Mohd Shareduwan Mohd Kasihmuddin","raw_affiliation_strings":["School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","institution_ids":["https://openalex.org/I139322472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003264177","display_name":"Yuan Gao","orcid":"https://orcid.org/0000-0001-8246-9192"},"institutions":[{"id":"https://openalex.org/I139322472","display_name":"Universiti Sains Malaysia","ror":"https://ror.org/02rgb2k63","country_code":"MY","type":"education","lineage":["https://openalex.org/I139322472"]},{"id":"https://openalex.org/I53411278","display_name":"Chengdu University of Traditional Chinese Medicine","ror":"https://ror.org/00pcrz470","country_code":"CN","type":"education","lineage":["https://openalex.org/I53411278"]}],"countries":["CN","MY"],"is_corresponding":false,"raw_author_name":"Yuan Gao","raw_affiliation_strings":["School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","School of Medical Information Engineering, Chengdu University of Traditional Chinese Medicine , Chengdu 610037 ,","School of Medical Information Engineering, Chengdu University of Traditional Chinese Medicine , Chengdu, 610037 ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Medical Information Engineering, Chengdu University of Traditional Chinese Medicine , Chengdu 610037 ,","institution_ids":["https://openalex.org/I53411278"]},{"raw_affiliation_string":"School of Medical Information Engineering, Chengdu University of Traditional Chinese Medicine , Chengdu, 610037 ,","institution_ids":["https://openalex.org/I53411278"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","institution_ids":["https://openalex.org/I139322472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034846476","display_name":"Suad Abdeen","orcid":"https://orcid.org/0000-0002-0503-933X"},"institutions":[{"id":"https://openalex.org/I139322472","display_name":"Universiti Sains Malaysia","ror":"https://ror.org/02rgb2k63","country_code":"MY","type":"education","lineage":["https://openalex.org/I139322472"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Suad Abdeen","raw_affiliation_strings":["School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800, USM ,","institution_ids":["https://openalex.org/I139322472"]},{"raw_affiliation_string":"School of Mathematical Sciences, Universiti Sains Malaysia , Penang, 11800 USM ,","institution_ids":["https://openalex.org/I139322472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072226237","display_name":"Bo Yu","orcid":"https://orcid.org/0000-0003-1005-1680"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baorong Yu","raw_affiliation_strings":["School of Economics and Finance, Guangxi International Business Vocational College , Nanning, 530007 ,"],"affiliations":[{"raw_affiliation_string":"School of Economics and Finance, Guangxi International Business Vocational College , Nanning, 530007 ,","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5100537925"],"corresponding_institution_ids":["https://openalex.org/I139322472","https://openalex.org/I163732180"],"apc_list":{"value":1650,"currency":"USD","value_usd":1650},"apc_paid":{"value":1650,"currency":"USD","value_usd":1650},"fwci":2.5147,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.89059998,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"12","issue":"4","first_page":"185","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9890999794006348,"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/T10320","display_name":"Neural Networks and Applications","score":0.9890999794006348,"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/hopfield-network","display_name":"Hopfield network","score":0.8687916994094849},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6928025484085083},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6024812459945679},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4764959216117859},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.45390406250953674},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.375954806804657},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3336486518383026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2682662010192871},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.07011675834655762},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.051313966512680054}],"concepts":[{"id":"https://openalex.org/C46421273","wikidata":"https://www.wikidata.org/wiki/Q1407668","display_name":"Hopfield network","level":3,"score":0.8687916994094849},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6928025484085083},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6024812459945679},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4764959216117859},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.45390406250953674},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.375954806804657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3336486518383026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2682662010192871},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.07011675834655762},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.051313966512680054},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jcde/qwaf039","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jcde/qwaf039","pdf_url":"https://academic.oup.com/jcde/advance-article-pdf/doi/10.1093/jcde/qwaf039/62892614/qwaf039.pdf","source":{"id":"https://openalex.org/S2485147958","display_name":"Journal of Computational Design and Engineering","issn_l":"2288-4300","issn":["2288-4300","2288-5048"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computational Design and Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1093/jcde/qwaf039","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jcde/qwaf039","pdf_url":"https://academic.oup.com/jcde/advance-article-pdf/doi/10.1093/jcde/qwaf039/62892614/qwaf039.pdf","source":{"id":"https://openalex.org/S2485147958","display_name":"Journal of Computational Design and Engineering","issn_l":"2288-4300","issn":["2288-4300","2288-5048"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computational Design and Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4409252237.pdf"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1498436455","https://openalex.org/W1518885151","https://openalex.org/W1543174654","https://openalex.org/W1583771634","https://openalex.org/W1597286183","https://openalex.org/W1971873204","https://openalex.org/W1984853564","https://openalex.org/W1997104952","https://openalex.org/W1999955687","https://openalex.org/W2023367191","https://openalex.org/W2040870580","https://openalex.org/W2046879559","https://openalex.org/W2053025701","https://openalex.org/W2074022443","https://openalex.org/W2095477585","https://openalex.org/W2128084896","https://openalex.org/W2151554678","https://openalex.org/W2169353679","https://openalex.org/W2885191881","https://openalex.org/W2989688479","https://openalex.org/W2991496851","https://openalex.org/W3092453021","https://openalex.org/W3110893536","https://openalex.org/W3126805253","https://openalex.org/W3140473065","https://openalex.org/W3165235487","https://openalex.org/W3174934194","https://openalex.org/W4281837565","https://openalex.org/W4283385861","https://openalex.org/W4285600365","https://openalex.org/W4309598622","https://openalex.org/W4311393140","https://openalex.org/W4320917693","https://openalex.org/W4366978060","https://openalex.org/W4366981555","https://openalex.org/W4367693552","https://openalex.org/W4383873493","https://openalex.org/W4386783354","https://openalex.org/W4386806209","https://openalex.org/W4389151621","https://openalex.org/W4390766141","https://openalex.org/W4392381163","https://openalex.org/W4393115836","https://openalex.org/W4396938475","https://openalex.org/W4399366824","https://openalex.org/W4401112589","https://openalex.org/W4401386967","https://openalex.org/W4401725766","https://openalex.org/W4402242200","https://openalex.org/W4403118412"],"related_works":["https://openalex.org/W4300447733","https://openalex.org/W2218979613","https://openalex.org/W2117614743","https://openalex.org/W2951527796","https://openalex.org/W2979762782","https://openalex.org/W2128425805","https://openalex.org/W2113914464","https://openalex.org/W1864017312","https://openalex.org/W3092016156","https://openalex.org/W2059074859"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"study":[2],"introduces":[3],"a":[4,129],"novel":[5],"non-systematic":[6],"logical":[7,28,60],"structure,":[8],"termed":[9],"B-type":[10,84],"Random":[11,85],"2-Satisfiability,":[12],"which":[13],"incorporates":[14],"non-redundant":[15],"first-":[16],"and":[17,111,127],"second-order":[18,24],"clauses,":[19],"as":[20,22],"well":[21],"redundant":[23,65],"clauses.":[25],"The":[26,62],"proposed":[27],"rule":[29],"is":[30,67,97,142],"implemented":[31],"in":[32,91,123],"the":[33,39,44,56,59,71,74,81,92,118,134,137],"discrete":[34,93],"Hopfield":[35,94],"neural":[36,95],"network":[37,96],"using":[38,99],"Wan":[40],"Abdullah":[41],"method,":[42],"with":[43,87],"corresponding":[45],"cost":[46],"function":[47],"minimized":[48],"through":[49],"an":[50],"exhaustive":[51],"search":[52],"algorithm":[53],"to":[54,69,76],"reduce":[55],"inconsistency":[57],"of":[58,64,73,83,136,140],"rules.":[61],"inclusion":[63],"literals":[66],"intended":[68],"enhance":[70],"capacity":[72],"model":[75,119],"extract":[77],"overlapping":[78],"knowledge.":[79],"Additionally,":[80],"performance":[82],"2-Satisfiability":[86],"varying":[88],"clause":[89],"proportions":[90],"evaluated":[98],"various":[100],"metrics,":[101],"including":[102],"learning":[103],"error,":[104,106,108],"retrieval":[105],"weight":[107,125],"energy":[109],"analysis,":[110],"similarity":[112],"analysis.":[113],"Experimental":[114],"results":[115],"indicate":[116],"that":[117],"demonstrates":[120],"superior":[121],"efficiency":[122],"synaptic":[124],"management":[126],"offers":[128],"broader":[130],"solution":[131],"space":[132],"when":[133],"number":[135],"three":[138],"types":[139],"clauses":[141],"selected":[143],"randomly.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}