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.