This Author published in this journals
All Journal Automata
Alexander Ramadhan Suratinoyo
Islamic University of Indonesi

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

Found 1 Documents
Search

Penentuan Solusi Satisfiability (SAT) Problem Dengan Metode Kohonen Self-Organizing Map (KSOM) Alexander Ramadhan Suratinoyo; Taufiq Hidayat
AUTOMATA Vol. 1 No. 2 (2020)
Publisher : AUTOMATA

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

Abstract

SAT Problem merupakan salah satu permasalahan NP-Complete  yang sangat sulit untuk dipecahkan dengan cara konvensional. Sudah banyak aplikasi (SAT Solver) untuk menyelesaikan nya. Tujuan dari penelitian ini untuk melakukan pemodelan SAT Solver menggunakan salah satu Jaringan Syarat Tiruan, Kohonen Self Organizing Map