Title: Theory and Application of Satisfiability Testing