All-different polytopes

A parsimonious integer-programming model for all-different constraints was developed. The all-different polytopes were defined and results on dimension, facets and separation were given. Some results from computational experiments concerning the facial structure of the all-different polytopes were also described.