发送短信 : Propositional satisfiability method in rough classification modeling for data mining