Text this: Theory and applications of satisfiability testing :