Formulation of CSP’s

• All-different is an example of the importance of formulation

  • all-different(x,y,z) much better than x?y, y?z, z?x
  • even though logically equivalent

• In general, it’s hard to find the best formulation

• Remember DONALD + GERALD = ROBERT

• The formulation I gave had just 2 constraints

  • all-different and a complicated arithmetic constraint

• All-different fine, but neither FC nor MAC can do much with the arithmetic constraint

Previous slide

Next slide

Back to first slide

View graphic version