Login / Signup
A novel processor for dynamic evolution of constrained SAT problems: The dynamic evolution variant of the discrete Hopfield neural network satisfiability model.
Caicai Feng
Saratha Sathasivam
Published in:
J. King Saud Univ. Comput. Inf. Sci. (2024)
Keyphrases
</>
neural network
solving problems
hopfield neural network
probabilistic model
objective function
orders of magnitude
satisfiability problem
sat problem
machine learning
reinforcement learning
pairwise
sat instances