Facets of multiple all-different constraints

We explore the properties of the comb structure of multiple alldifferent, a ubiquitous constraint in Constraint Programming. We introduce multiple classes of facet-inducing inequalities of the convex hull of integer solutions as well as a separation algorithm. We present experimental results based on these inequalities in a hybrid Constraint Programming – Integer Programming solver.