Discrete hopfield neural network in restricted maximum k-satisfiability logic programming

• Main Authors: Mohd Shareduwan Mohd Kasihmuddin,, Mohd Asyraf Mansor,, Saratha Sathasivam,
• Format: Article
• Language: English
• Published: Penerbit Universiti Kebangsaan Malaysia 2018
• Online Access: http://journalarticle.ukm.my/12139/1/30%20Mohd%20Shareduwan%20Mohd%20Kasihmuddin.pdf; http://journalarticle.ukm.my/12139/; http://www.ukm.my/jsm/english_journals/vol47num6_2018/contentsVol47num6_2018.html

Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an important logic representation in logic programming since not all combinatorial problem is satisfiable in nature. This paper presents Hopfield Neur...