Computer File
Penyelesaian permainan sudoku menggunakan unit propagation, failed literal rule, binary failed literal rule dan hyper-binary resolution
Sudoku adalah permainan teka-teki logika berukuran 9x9 yang sangat
digemari oleh banyak orang. Beberapa cara penyelesaian sudah diusulkan, salah
satunya adalah teknik SAT. Pada skripsi ini dibahas tentang beberapa teknik
inferensi SAT untuk menyelesaikan Sudoku yaitu Unit Propagation, Failed Literal
Rule, Binary Failed Literal Rule, Hyper-Binary Resolution. Di samping itu dibangun
perangkat lunak untuk menerapkan empat teknik inferensi SAT dengan
menggunakan dua jenis encoding yaitu minimal dan maksimal encoding. Eksperimen
terhadap kombinasi teknik inferensi dan jenis encoding tersebut juga telah dilakukan
pada sekumpulan soal Sudoku. Hasil yang diperoleh adalah kombinasi menggunakan
maksimal encoding akan memberikan performansi terbaik.
Barcode | Tipe Koleksi | Nomor Panggil | Lokasi | Status | |
---|---|---|---|---|---|
skp23312 | DIG - FTIS | Skripsi | KOMP RAT p/08 | Perpustakaan | Tersedia namun tidak untuk dipinjamkan - Missing |
Tidak tersedia versi lain