BRAN2SAT: Redundant satisfiability logic in Lyapunov-based discrete Hopfield neural network. - Binbin Yang; Guoxiang Li; Adila Aida Azahar; Mohd Shareduwan Mohd Kasihmuddin; Yuan Gao 029; Suad Abdeen; Baorong Yu (J. Comput. Des. Eng., 2025)