clause sharing, cooperative parallelization, Iterative partitioning, look-ahead, parallel SAT solving, Search Space Splitting.
