A new artificial immune system for solving the maximum satisfiability problem

[PDF] ukm.edu.my

[PDF][PDF] Discrete Hopfield neural network in restricted maximum k-satisfiability logic programming

MSM Kasihmuddin, MA Mansor, S Sathasivam - Sains Malaysiana, 2018 - ukm.edu.my
ABSTRACT Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent
interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an …
被引用次数：50 相关文章 所有 5 个版本
[PDF] archive.org

Max-sat problem using hybrid harmony search algorithm

IA Doush, AL Quran, MA Al-Betar, MA Awadallah - methods, 2018 - degruyter.com
Maximum Satisfiability problem is an optimization variant of the Satisfiability problem (SAT)
denoted as MAX-SAT. The aim of this problem is to find Boolean variable assignment that …
被引用次数：6 相关文章 所有 4 个版本
[PDF] degruyter.com

MAX-SAT Problem using Hybrid Harmony Search Algorithm

I Abu Doush, AL Quran, MA Al-Betar… - Journal of Intelligent …, 2018 - degruyter.com
Maximum Satisfiability problem is an optimization variant of the Satisfiability problem (SAT)
denoted as MAX-SAT. The aim of this problem is to find Boolean variable assignment that …
被引用次数：1 相关文章 所有 2 个版本