发送短信 : Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network