View-based propagation of decomposable constraints

Marco Correia, Pedro Barahona

Constraints that may be obtained by composition from simpler constraints are present, in some way or another, in almost every constraint program. The decomposition of such constrai…