Browsing Faculty of Industrial Technology by Subject "DPLL"
Now showing items 1-2 of 2
-
IMPLEMENTASI CNF-SAT SOLVER DENGAN METODE ALGORITMA DPLL (DAVIS PUTNAM LOGEMANN LOVELAND) MENGGUNAKAN AHK SCRIPT
(universitas islam indonesia, 2019-10-28)Satisfiability problem (SAT Problem) adalah suatu problem atau permasalahan dimana sesuatu hal bisa digunakan untuk memberikan ketentuan apakah suatu formula tersebut adalah formula yang memiliki nilai satisfiabel atau ... -
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 ...