BRAN2SAT: Redundant satisfiability logic in Lyapunov-based discrete Hopfield neural network

• Published in: Journal of computational design and engineering Vol. 12; no. 4; pp. 185 - 204
• Main Authors: Yang, Binbin, Li, Guoxiang, Azahar, Adila Aida, Kasihmuddin, Mohd Shareduwan Mohd, Gao, Yuan, Abdeen, Suad, Yu, Baorong
• Format: Journal Article
• Language: English
• Published: Oxford Oxford University Press 01.04.2025; 한국CDE학회
• Subjects: Big Data; Cost function; Logic; Neural networks; Neurons; Redundancy; Search algorithms; Solution space; 기계공학; artificial neural network; discrete Hopfield neural network; non-systematic logic; B-type Random 2-Satisfiability; redundant literal
• ISSN: 2288-5048; 2288-4300; 2288-5048
• DOI: 10.1093/jcde/qwaf039

This study introduces a novel non-systematic logical structure, termed B-type Random 2-Satisfiability, which incorporates non-redundant first- and second-order clauses, as well as redundant second-order clauses. The proposed logical rule is implemented in the discrete Hopfield neural network using t...