M. S. Mohd Kasihmuddin, M. Asyraf Mansor, S. Abdulhabib Alzaeemi, and S. Sathasivam, “Satisfiability Logic Analysis Via Radial Basis Function Neural Network with Artificial Bee Colony Algorithm”., IJIMAI, vol. 6, no. 6, pp. 164–173, Jun. 2021.