Tai Joon Park Allen Van Gelder Partitioning Methods for Satisfiability Testing on Large Formulas. 179-184 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#ParkG00