Abubakar, Hamza, Sagir Abdu Masanawa, and Surajo Yusuf. 2020. “Neuro-Symbolic Integration of Hopfield Neural Network for Optimal Maximum Random KSatisfiability (Maxrksat) Representation”. Journal of Reliability and Statistical Studies 13 (01):199-220. https://doi.org/10.13052/jrss1550-4646.13110.