SAT Solver dengan DPLL dalam Pemrograman Deklaratif
| Main Authors: | Hidayat, Taufiq, Irhasni, Agung Bahariyanto |
|---|---|
| Format: | Article info application/pdf eJournal |
| Bahasa: | eng |
| Terbitan: |
Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia
, 2018
|
| Online Access: |
https://journal.uii.ac.id/Snati/article/view/11114 https://journal.uii.ac.id/Snati/article/view/11114/8482 |
Internet
https://journal.uii.ac.id/Snati/article/view/11114https://journal.uii.ac.id/Snati/article/view/11114/8482
Lokasi
| Koleksi | Seminar Nasional Aplikasi Teknologi Informasi (SNATI) |
|---|---|
| Gedung | Perpustakaan Universitas Islam Indonesia |
| Institusi | Universitas Islam Indonesia |
| Kota | SLEMAN |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |