Algorithms and Applications for Next Generation SAT Solvers