Browsing by Author "Taufiq Hidayat, S.T., M.C.S."
Now showing items 1-3 of 3
-
Analisis Pola Mahasiswa Informatika Kurikulum 2016 Terhadap Penjaluran Di Tahun Keempat Dengan Menggunakan Formal Concept Analysis
RIZAL DEWANGGA (Universitas Islam Indonesia, 2021-12-12)Penjaluran di tahun keempat yang diwajibkan oleh Informatika Universitas Islam Indonesia membuat mahasiswa tersebut di haruskan untuk memilih penjaluran apa yang akan diambil. Tidak sedikit pula mahasiswa yang bingung ... -
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 ... -
SOLUSI PENDEKATAN SAT PROBLEM DENGAN ALGORITMA GENETIKA MENGGUNAKAN JAVA
Muh Arnesz Setiawan, 16523202 (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 ...