On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems

Open in new window