Problem Partitioning via Proof Prefixes.

Zachary Battleman, Joseph E. Reeves, Marijn J. H. Heule

Browse the full SAT paper archive.