Browsing Faculty of Industrial Technology by Subject "SAT Problem"
Now showing items 1-4 of 4
-
Penentuan Solusi Satisfiability (SAT) Problem dengan Metode Kohonen Self-Organizing Map (K-SOM)
(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 ... -
PENYELESAIAN BOOLEAN SATISFIABILITY PROBLEM DENGAN ALGORITMA DAVIS PUTNAM LOGEMANN LOVELAND (DPLL) MENGGUNAKAN JAVA
(Universitas Islam Indonesia, 2018-12-03)Boolean Satisfiability Problem (SAT Problem) adalah konsep dasar semantik yang menentukan ada atau tidaknya interpretasi (pemberian nilai kebenaran pada setiap simbol proposisi) yang memberikan hasil yang satisfiable pada ... -
SAT SOLVER MENGGUNAKAN ALGORITMA DAVIS-PUTNAM-LOGEMANN-LOVELAND
(Universitas Islam Indonesia, 2017)Pada dasarnya kecerdasan buatan dibuat untuk menyelesaikan suatu masalah, dan salah satu contoh penerapan dari kecerdasan buatan untuk menyelesaikan suatu masalah adalah satisfiability problem. Satisfiability problem atau ... -
SOLUSI PENDEKATAN SAT PROBLEM DENGAN ALGORITMA GENETIKA MENGGUNAKAN JAVA
(Universitas Islam Indonesia, 2019-01-02)SAT Problem yang merupakan permasalahan NPComplete yang sulit dikerjakan dengan cara konvensional dan telah memiliki banyak aplikasi (SAT Solver) untuk menyelesaikannya. Namun dari seluruh SAT Solver yang ada belum ...