Examining the forecasting movement of palm oil price using RBFNN-2SATRA metaheuristic algorithms for logic mining
SAS Alzaeemi, S Sathasivam - IEEE Access, 2021 - ieeexplore.ieee.org
RBFNN with different algorithms and the logic mining method for forecasting constitute the
most significant tools and techniques, which are used to demonstrate the economic growth …
most significant tools and techniques, which are used to demonstrate the economic growth …
[PDF][PDF] Discrete Hopfield neural network in restricted maximum k-satisfiability logic programming
ABSTRACT Maximum k-Satisfiability (MAX-kSAT) consists of the most consistent
interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an …
interpretation that generate the maximum number of satisfied clauses. MAX-kSAT is an …
Quantum algorithm for maximum satisfiability
A Alasow, M Perkowski - 2022 IEEE 52nd International …, 2022 - ieeexplore.ieee.org
Satisfiability (SAT) problem in engineering and computer science is to find the set of
assignment values of input variables for the given Boolean function that evaluate this …
assignment values of input variables for the given Boolean function that evaluate this …
Robust artificial immune system in the Hopfield network for maximum k-satisfiability
MS Bin Mohd Kasihmuddin, MA Bin Mansor… - 2017 - reunir.unir.net
Artificial Immune System (AIS) algorithm is a novel and vibrant computational paradigm,
enthused by the biological immune system. Over the last few years, the artificial immune …
enthused by the biological immune system. Over the last few years, the artificial immune …
Genetic algorithm for restricted maximum k-satisfiability in the Hopfield network
The restricted Maximum k-Satisfiability MAX-kSAT is an enhanced Boolean satisfiability
counterpart that has attracted numerous amount of research. Genetic algorithm has been the …
counterpart that has attracted numerous amount of research. Genetic algorithm has been the …
[HTML][HTML] Quantum Algorithm for Variant Maximum Satisfiability
A Alasow, P Jin, M Perkowski - Entropy, 2022 - mdpi.com
In this paper, we proposed a novel quantum algorithm for the maximum satisfiability
problem. Satisfiability (SAT) is to find the set of assignment values of input variables for the …
problem. Satisfiability (SAT) is to find the set of assignment values of input variables for the …
[PDF][PDF] A clonal selection algorithm based tabu search for satisfiability problems
A Layeb - Journal of Advances in Information Technology, 2012 - researchgate.net
We present in this paper a new memetic algorithm to deal with the Max Sat problem. The
objective is to find the best assignment for a set of Boolean variables, which gives the …
objective is to find the best assignment for a set of Boolean variables, which gives the …
[PDF][PDF] Hybrid Discrete Hopfield Neural Network based Modified Clonal Selection Algorithm for VLSI Circuit Verification.
Clonal selection algorithm and discrete Hopfield neural network are extensively employed
for solving higher-order optimization problems ranging from the constraint satisfaction …
for solving higher-order optimization problems ranging from the constraint satisfaction …
Max-sat problem using hybrid harmony search algorithm
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 …
denoted as MAX-SAT. The aim of this problem is to find Boolean variable assignment that …
[PDF][PDF] A hybrid quantum genetic algorithm and local search based DPLL for max 3-SAT problems
A Layeb, DE Saidouni - Applied Mathematics & Information …, 2014 - naturalspublishing.com
In this paper, we present a new framework for combining complete and incomplete methods
in order to deal with the Max Sat problem. The objective is to find the best assignment for a …
in order to deal with the Max Sat problem. The objective is to find the best assignment for a …