Optimizing Quadratic Satisfiability with Special Symbolic Logic in a Discrete Hopfield Neural Network Using Swarm Intelligence. AIUB Journal of Science and Engineering (AJSE), v. 24, n. 3, p. 186–201, 31 Jul.2026.