TITLE: The Global Cardinality Constraint

PRESENTER: Claude-Guy Quimper, http://www.cs.uwaterloo.ca/~cquimper/, cquimper@math.uwaterloo.ca

AFFILIATION:University of Waterloo,

DATE: Friday 11th February 2005

TIME: 12:00:00

PLACE: Room 113, CSE Seminar Room, Level 1, K17

ABSTRACT:

After giving a short introduction to constraint programming
and constraint satisfaction problems, I will present the global
cardinality constraint (GCC). The GCC is a generalization of the
all-different constraint and occurs in many constraint satisfaction
problems such as scheduling problems. I will describe propagators that
enforce domain and bounds consistency on the GCC and talk about other
problems related to this constraint.

BIOGRAPHY OF SPEAKER:

Claude-Guy Quimper is a PhD student at University of Waterloo in
Canada. His research focuses on the design of constraint propagators
for constraint programming solvers and the elaboration of broadcasting
schedules for video-on-demand systems.

Host:

Toby Walsh

Seminar Convenor:

Van Hai Ho