Variable Partitioning With Compaction Solver