Random Satisfiability: A Higher-Order Logical Approach in Discrete Hopfield Neural Network. - Syed Anayet Karim; Nur Ezlin Zamri; Alyaa Alway; Mohd Shareduwan Mohd Kasihmuddin; Ahmad Izani Mohamed Ismail; Mohd. Asyraf Mansor; Nik Fathihah Abu Hassan (IEEE Access, 2021)