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