Article Per Year (5 Year)
p-Index From 2019 - 2024
0.23
P-Index
This Author published in this journals
All Journal Automata
Alfeno Muhaydein Nur
Universitas Islam Indonesia
Computer Science & IT

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
Penerapan Metode Algoritma Genetika Dalam Penyelesaian Boolean Satisfiability Problem Menggunakan Java Alfeno Muhaydein Nur; Taufiq Hidayat
AUTOMATA Vol. 3 No. 1 (2022)
Publisher : AUTOMATA

Show Abstract | Download Original | Original Source | Check in Google Scholar

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.
Co-Authors TAUFIQ HIDAYAT