Problem Partitioning via Proof Prefixes. - Zachary Battleman; Joseph E. Reeves; Marijn J. H. Heule (SAT, 2025)