Kernels for Global Constraints