2026. Optimizing Quadratic Satisfiability with Special Symbolic Logic in a Discrete Hopfield Neural Network Using Swarm Intelligence. AIUB Journal of Science and Engineering. 24, 3 (Jul. 2026), 186–201. DOI:https://doi.org/10.53799/y7wvjq52.