Automata
Vol. 3 No. 1 (2022)

Penerapan Metode Algoritma Genetika Dalam Penyelesaian Boolean Satisfiability Problem Menggunakan Java

Alfeno Muhaydein Nur (Universitas Islam Indonesia)
Taufiq Hidayat (Universitas Islam Indonesia)

Article Info

Publish Date
21 Jan 2022

Abstract

Boolean Satisfiability Problem (SAT Problem) merupakan salah satu konsep logika matematika untuk menentukan apakah suatu formula bisa disebut formula yang satisfiable atau unsatisfiable dengan memberi nilai dari setiap simbol bilangan proposisi. Dalam penelitian ini dilakukan implementasi Algoritma Genetika untuk menyelesaikan SAT Problem menggunakan bahasa pemrograman JAVA. Setelah dilakukan pengujian, hasil yang didapatkan adalah sistem dengan penerapan Algoritma Genetika ini mampu menyelesaikan SAT Problem dalam bentuk CNF file 50 Variabel dan 80 klausa dengan waktu yang singkat dalam hitungan detik.

Copyrights © 2022




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 ...