Parallel SAT solvers and their application in automatic parallelization