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