Listarvol. 6, nº 6, june 2021 por tema "2 satisfiability"
Mostrando ítems 1-1 de 1
-
Satisfiability Logic Analysis Via Radial Basis Function Neural Network with Artificial Bee Colony Algorithm
(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) ...