Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems