• Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network 

      Kasihmuddin, Mohd Shareduwan Bin Mohd; Mansor, Mohd Asyraf Bin; Sathasivam, Saratha (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 12/2016)
      The restricted Maximum k-Satisfiability MAX- kSAT is an enhanced Boolean satisfiability counterpart that has attracted numerous amount of research. Genetic algorithm has been the prominent optimization heuristic algorithm ...
    • Satisfiability Logic Analysis Via Radial Basis Function Neural Network with Artificial Bee Colony Algorithm 

      Kasihmuddin, Mohd Shareduwan Bin Mohd; Mansor, Mohd Asyraf Bin; Abdulhabib Alzaeemi, Shehab; Sathasivam, Saratha (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 06/2021)
      Radial Basis Function Neural Network (RBFNN) is a variant of artificial neural network (ANN) paradigm, utilized in a plethora of fields of studies such as engineering, technology and science. 2 Satisfiability (2SAT) ...