Major 2 satisfiability logic in discrete Hopfield neural network

DOI10.1080/00207160.2021.1939870zbMATH Open1499.68297OpenAlexW3170941844MaRDI QIDQ5072024FDOQ5072024

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

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

Recommendations

• Optimal performance evaluation metrics for satisfiability logic representation in discrete Hopfield neural network
• Normal form representation in doing logic programming in Hopfield network
• scientific article; zbMATH DE number 5575002
• scientific article; zbMATH DE number 776082
• scientific article; zbMATH DE number 1630006

zbMATH Keywords

satisfiabilityartificial neural networksymbolic integrationdiscrete 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

• Metric and Euclidean properties of dissimilarity coefficients
• Algorithm runtime prediction: methods \& evaluation
• ``Neural computation of decisions in optimization problems
• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• Improving exhaustive search implies superpolynomial lower bounds
• 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
• Upgrading logic programming in Hopfield network

Cited In (2)

• Title not available (Why is that?)
• Normal form representation in doing logic programming in Hopfield network

This page was built for publication: Major 2 satisfiability logic in discrete Hopfield neural network

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5072024)