constraint decomposition, Constraint Modelling, Constraint Programming, constraint propagator, sortedness constraints, stable sort.
