Hidayat, Taufiq, Universitas Islam Indonesia, Indonesia
-
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2018 - Informatika Teori, Komputasi dan Optimasi
Aplikasi Konversi Ekuivalensi Logis Formula Proposisi dengan Pohon Biner
Abstract PDF -
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2018 - Informatika Teori, Komputasi dan Optimasi
SAT Solver dengan DPLL dalam Pemrograman Deklaratif
Abstract PDF