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: | , , , |
---|---|
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 |