Partitioning Methods for Satisfiability Testing on Large Formulas.

Tai Joon Park, Allen Van Gelder

Browse the full CADE paper archive.