Automata
Vol. 1 No. 2 (2020)

Penentuan Solusi Satisfiability (SAT) Problem Dengan Metode Kohonen Self-Organizing Map (KSOM)

Alexander Ramadhan Suratinoyo (Islamic University of Indonesi)
Taufiq Hidayat (Unknown)

Article Info

Publish Date
26 Jun 2020

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

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