Αποστολή με SMS: Theory and Applications of Satisfiability Testing – SAT 2012