Browsing Informatics Engineering by Subject "SAT Solver"
Now showing items 1-3 of 3
-
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 ... -
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 ...