Browsing Informatics Engineering by Author "16523073 Alexander Ramadhan Suratinoyo"
Now showing items 1-1 of 1
-
Penentuan Solusi Satisfiability (SAT) Problem dengan Metode Kohonen Self-Organizing Map (K-SOM)
16523073 Alexander Ramadhan Suratinoyo (Universitas Islam Indonesia, 2020)SAT Problem (Boolean Satisfiablity Problem) merupakan salah satu permasalahan semantic yang menentukan ada atau tidak pemberian nilai kebenaran pada setiap proposisi yang memberikan hasil satisfiable pada formula logika ...