Gao, Yuan (2025) G-Type Random 3 Satisfiability With Discrete Hopfield Neural Network. PhD thesis, Universiti Sains Malaysia.