Decomposition During Search for Propagation-Based Constraint Solvers