A Propagator Design Framework for Constraints over Sequences

Open in new window