Mohd Kasihmuddin, Mohd Shareduwan, et al. “Satisfiability Logic Analysis Via Radial Basis Function Neural Network With Artificial Bee Colony Algorithm”. International Journal of Interactive Multimedia and Artificial Intelligence, vol. 6, no. 6, June 2021, pp. 164-73, doi:10.9781/ijimai.2020.06.002.