Mohd Kasihmuddin, M. S.; Asyraf Mansor, M.; Abdulhabib Alzaeemi, S.; Sathasivam, S. Satisfiability Logic Analysis Via Radial Basis Function Neural Network With Artificial Bee Colony Algorithm. IJIMAI 2021, 6, 164-173.