Partitioning Methods for Satisfiability Testing on Large Formulas. - Tai Joon Park; Allen Van Gelder (Inf. Comput., 2000)