Email Record: Theory and applications of satisfiability testing :