Automata
Vol. 1 No. 1 (2020)

Solusi pendekatan SAT Problem dengan Algoritma Genetika

Muhammad Arnesz Setiawan (Universitas Islam Indonesia)

Article Info

Publish Date
16 Jan 2020

Abstract

SAT problem yang merupakan permasalahan NP-Complete dan telah memiliki banyak aplikasi (SAT Solver) untuk menyelesaikannya. Namun dari seluruh SAT Solver yang ada belum ditemukan yang menawarkan solusi yang bukan eksak. Penelitian ini bertujuan untuk mengembangkan Modelan SAT Solver menggunakkan pemrograman java dan konsep pendekatan solusi menggunakan Algoritma Genetika. Setelah dilakukan penujian, kesimpulan yang dapat diambil adalah Model SAT Solver dari penelitian ini dapat menyelesaikan SAT Problem yang sangat sederhana.

Copyrights © 2020




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
Automata
Website

Abbrev

AUTOMATA

Publisher

Universitas Islam Indonesia

Subject

Computer Science & IT

Description

Automata mempublikasikan penelitian internal mahasiswa dan dosen Teknik Informatik Universitas Islam Indonesia. Topik-topiknya mencakup: Informatika Teori dan Sistem Cerdas Forensika Digital Sains Data Rekayasa Perangkat Lunak Informatika ...