Browsing Informatics Engineering by Author "Dicky Puja Pratama, 14523063"
Now showing items 1-1 of 1
-
PENYELESAIAN BOOLEAN SATISFIABILITY PROBLEM DENGAN ALGORITMA DAVIS PUTNAM LOGEMANN LOVELAND (DPLL) MENGGUNAKAN JAVA
Dicky Puja Pratama, 14523063 (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 ...