Zaslat SMS: Theory and applications of satisfiability testing (vol. # 3569) /