Decomposition During Search for Propagation-Based Constraint Solvers

Re-assign community