Decomposition During Search for Propagation-Based Constraint Solvers

Open in new window