Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Automata
Muhammad Arnesz Setiawan
Universitas Islam Indonesia
Computer Science & IT

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

Found 1 Documents
Search

 1 
Solusi pendekatan SAT Problem dengan Algoritma Genetika Muhammad Arnesz Setiawan
AUTOMATA Vol. 1 No. 1 (2020)
Publisher : AUTOMATA

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

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