發送短信 : Theory and applications of satisfiability testing - SAT 2012