Toby Walsh

Toby Walsh
School of Computer Science and Engineering
University of New South Wales
Sydney
Australia
tw@cse.unsw.edu.au

Lecture notes and background reading material for a course on global constraints presented at Padova in June 2006.

Introduction to constraint programming.

All Different and related global constraints.

Lex ordering global constraint.

Value precedence global constraint.

Complexity of global constraints.

GAC-schema global constraint.

Global grammar constraints.

Roots and Range global constraints.

SLIDE meta-constraint.

Online introduction to constraint programming.

Survey on All Different and related global constraints.

Lex ordering global constraints and symmetry breaking in matrix models.

GAC-schema algorithm.

Global grammar constraints like the regular constraint and extensions.

Roots and Range global constraints and their implementation.