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