Satisfiability Logic Analysis Via Radial Basis Function Neural Network with Artificial Bee Colony Algorithm
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) programming has been coined as a prominent logical rule that defines the identity of...
Main Authors: | Mohd Shareduwan Bin Mohd Kasihmuddin, Mohd Asyraf Bin Mansor, Shehab Abdulhabib Alzaeemi, Saratha Sathasivam |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidad Internacional de La Rioja (UNIR)
2021-05-01
|
Series: | International Journal of Interactive Multimedia and Artificial Intelligence |
Online Access: | https://www.ijimai.org/journal/bibcite/reference/2790 |
Similar Items
-
Maximum 2-satisfiability in radial basis function neural network
by: Shehab Abdulhabib Alzaeemi,, et al.
Published: (2020) -
Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
by: Mohd Asyraf Bin Mansor, et al.
Published: (2017-08-01) -
Discrete hopfield neural network in restricted maximum
k-satisfiability logic programming
by: Mohd Shareduwan Mohd Kasihmuddin,, et al.
Published: (2018) -
Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
by: Mohd Shareduwan Bin Mohd Kasihmuddin, et al.
Published: (2016-12-01) -
Discrete mutation hopfield neural network in propositional satisfiability
by: Mohd. Kasihmuddin, Mohd. Shareduwan, et al.
Published: (2019)