Browsing Informatics Engineering by Author "Taufiq Hidayat. S.T., M.Kom"
Now showing items 1-1 of 1
-
IMPLEMENTASI CNF-SAT SOLVER DENGAN METODE ALGORITMA DPLL (DAVIS PUTNAM LOGEMANN LOVELAND) MENGGUNAKAN AHK SCRIPT
Eganala Filadin Purwoto, 13523174 (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 ...