BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.

Abstract
No abstract available