SOLUSI PENDEKATAN SAT PROBLEM DENGAN ALGORITMA GENETIKA MENGGUNAKAN JAVA
Abstract
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 ditemukan yang menawarkan solusi yang bukan eksak
(pendekatan). Penelitian ini bertujuan untuk mengembangkan
SAT Solver menggunakkan pemrograman JAVA dan konsep
pendekatan solusi menggunakan Algoritma Genetika. Setelah
dilakukan pengujian, kesimpulan yang dapat diambil adalah
SAT Solver dari penelitian ini dapat menyelesaikan SAT
Problem. Salah satu problem yang diujikan adalah sebuah CNF
file dengan 16 variabel dan 18 klausa.
Collections
- Informatics Engineering [2148]