Enviar Registro por Correo electrónico: Theory and Applications of Satisfiability Testing - SAT 2017 :