Theory and Applications of Satisfiability Testing