发送短信 : Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming