Major 2 Satisfiability Logic in Discrete Hopfield Neural Network

DOI10.1080/00207160.2021.1939870zbMath1499.68297OpenAlexW3170941844MaRDI QIDQ5072024

Nur Ezlin Zamri, Muna Mohammed Bazuhair, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, Syed Anayet Karim, Alyaa Alway

Publication date: 25 April 2022

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2021.1939870

zbMATH Keywords

symbolic integrationsatisfiabilityartificial neural networkdiscrete Hopfield neural networksatisfiability logic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Cites Work

• Unnamed Item
• Algorithm runtime prediction: methods \& evaluation
• ``Neural computation of decisions in optimization problems
• Metric and Euclidean properties of dissimilarity coefficients
• A new Lyapunov functional for stability analysis of neutral-type Hopfield neural networks with multiple delays
• Combining Hopfield neural networks, with applications to grid-based mathematics puzzles
• Modal posterior clustering motivated by Hopfield's network
• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• Improving Exhaustive Search Implies Superpolynomial Lower Bounds

This page was built for publication: Major 2 Satisfiability Logic in Discrete Hopfield Neural Network