Higher order Weighted Random k Satisfiability ($k = 1, 3$) in Discrete Hopfield Neural Network

Researchers have explored various non-systematic satisfiability approaches to enhance the interpretability of Discrete Hopfield Neural Networks. A flexible framework for non-systematic satisfiability has been developed to investigate diverse logical structures across dimensions and has improved the...

Full description

Bibliographic Details
Published in:	AIMS Mathematics
Main Authors:	Xiaoyan Liu, Mohd Shareduwan Mohd Kasihmuddin, Nur Ezlin Zamri, Yunjie Chang, Suad Abdeen, Yuan Gao
Format:	Article
Language:	English
Published:	AIMS Press 2025-01-01
Subjects:	weighted random $k$ satisfiability non-systematic satisfiability discrete hopfield neural network optimization problem global solution
Online Access:	https://www.aimspress.com/article/doi/10.3934/math.2025009

Similar Items

S-Type Random <i>k</i> Satisfiability Logic in Discrete Hopfield Neural Network Using Probability Distribution: Performance Optimization and Analysis
by: Suad Abdeen, et al.
Published: (2023-02-01)

Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
by: Mohd Shareduwan Bin Mohd Kasihmuddin, et al.
Published: (2016-12-01)

Synergizing intelligence and knowledge discovery: Hybrid black hole algorithm for optimizing discrete Hopfield neural network with negative based systematic satisfiability
by: Nur 'Afifah Rusdi, et al.
Published: (2024-10-01)

Special major 1, 3 satisfiability logic in discrete Hopfield neural networks
by: Gaeithry Manoharam, et al.
Published: (2024-03-01)

Major 3 Satisfiability logic in Discrete Hopfield Neural Network integrated with multi-objective Election Algorithm
by: Muhammad Aqmar Fiqhi Roslan, et al.
Published: (2023-07-01)

Non-Systematic Weighted Satisfiability in Discrete Hopfield Neural Network Using Binary Artificial Bee Colony Optimization
by: Siti Syatirah Muhammad Sidik, et al.
Published: (2022-04-01)

A Novel Multi-Objective Hybrid Election Algorithm for Higher-Order Random Satisfiability in Discrete Hopfield Neural Network
by: Syed Anayet Karim, et al.
Published: (2022-06-01)

Multi-unit Discrete Hopfield Neural Network for higher order supervised learning through logic mining: Optimal performance design and attribute selection
by: Nur 'Afifah Rusdi, et al.
Published: (2023-05-01)

GRAN3SAT: Creating Flexible Higher-Order Logic Satisfiability in the Discrete Hopfield Neural Network
by: Yuan Gao, et al.
Published: (2022-06-01)

Random Satisfiability: A Higher-Order Logical Approach in Discrete Hopfield Neural Network
by: Syed Anayet Karim, et al.
Published: (2021-01-01)

Unsupervised logic mining with a binary clonal selection algorithm in multi-unit discrete Hopfield neural networks via weighted systematic 2 satisfiability
by: Nurul Atiqah Romli, et al.
Published: (2024-07-01)

MTS-PRO2SAT: Hybrid Mutation Tabu Search Algorithm in Optimizing Probabilistic 2 Satisfiability in Discrete Hopfield Neural Network
by: Ju Chen, et al.
Published: (2024-02-01)

A novel processor for dynamic evolution of constrained SAT problems: The dynamic evolution variant of the discrete Hopfield neural network satisfiability model
by: Caicai Feng, et al.
Published: (2024-01-01)

Energy Based Logic Mining Analysis with Hopfield Neural Network for Recruitment Evaluation
by: Siti Zulaikha Mohd Jamaludin, et al.
Published: (2020-12-01)

Random Maximum 2 Satisfiability Logic in Discrete Hopfield Neural Network Incorporating Improved Election Algorithm
by: Vikneswari Someetheram, et al.
Published: (2022-12-01)

A hybrid firefly algorithm for synaptic weight optimization in discrete Hopfield neural networks applied to random 3-satisfiability problems
by: Xiaoya Chen, et al.
Published: (2025-06-01)

Logic Mining Approach: Shoppers’ Purchasing Data Extraction via Evolutionary Algorithm
by: Mohd Shareduwan Mohd Kasihmuddin, et al.
Published: (2023-07-01)

Novel logic mining incorporating log linear approach
by: Siti Zulaikha Mohd Jamaludin, et al.
Published: (2022-11-01)

Conditional random k satisfiability modeling for k = 1, 2 (CRAN2SAT) with non-monotonic Smish activation function in discrete Hopfield neural network
by: Nurshazneem Roslan, et al.
Published: (2024-01-01)

Ontology-Based Finite Satisfiability of UML Class Model
by: Abdul Hafeez Khan, et al.
Published: (2018-01-01)

Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
by: Mohd Asyraf Bin Mansor, et al.
Published: (2017-08-01)

Quantum Algorithm for Variant Maximum Satisfiability
by: Abdirahman Alasow, et al.
Published: (2022-11-01)

Amazon Employees Resources Access Data Extraction via Clonal Selection Algorithm and Logic Mining Approach
by: Nur Ezlin Zamri, et al.
Published: (2020-05-01)

Predicting Propositional Satisfiability Based on Graph Attention Networks
by: Wenjing Chang, et al.
Published: (2022-09-01)

Ants Colony Optimization Algorithm in the Hopfield Neural Network for Agricultural Soil Fertility Reverse Analysis
by: Hamza Abubakar, et al.
Published: (2022-01-01)

Satisfiability Threshold of Random Propositional S5 Theories
by: Zaihang Su, et al.
Published: (2024-04-01)

Satisfying targeting in Education by Emphasis on Ibrahim Story in Quran
by: Habibollah Halimi Jolodar, et al.
Published: (2016-01-01)

Areas of Conflict and Strategies of Resolving Conflicts in Satisfied Couples
by: Elham Fathi, et al.
Published: (2015-12-01)

An optimization approach for the satisfiability problem
by: S. Noureddine
Published: (2015-01-01)

Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition
by: Zhinian ZHAI, et al.
Published: (2016-10-01)

Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition
by: Zhinian ZHAI, et al.
Published: (2016-10-01)

Satisfiability Problem in Interval FP-logic
by: N.A. Protsenko, et al.
Published: (2023-06-01)

Clausal Forms in MaxSAT and MinSAT
by: Chu Min Li, et al.
Published: (2022-11-01)

QUALITY - ABILITY, PROPERTY OR CAPACITY OF SATISFYING SOME NEEDS
by: CURELAR MIRABELA RELY ODETTE
Published: (2013-08-01)

Control design of discrete-time unicycle model using satisfiability modulo theory
by: Dieky Adzkiya, et al.
Published: (2024-12-01)

Toward Optimal Multi-Agent Robot and Lift Schedules via Boolean Satisfiability
by: Arjo Chakravarty, et al.
Published: (2025-09-01)

Melting ternary hybrid nanofluid stagnation point flow with velocity slip past a stretching/shrinking sheet: Numerical simulation and validation via P2SATRA
by: Nur Syahirah Wahid, et al.
Published: (2025-01-01)

Vulnerability Detection in Binary Code Based on Constraint Satisfiability Checking
by: A. V. Filonenko, et al.
Published: (2010-06-01)

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
by: Kimia Zamiri Azar, et al.
Published: (2018-11-01)

Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers
by: Vahideh Eshaghian, et al.
Published: (2025-01-01)