On the Use of Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems | IEEE Conference Publication | IEEE Xplore