Formula partitioning revisited.

Zoltn dm Mann, Pl Andrs Papp

Browse the full SAT paper archive.