SOC and SMA Computer Science Joint Seminar

On November 22, 2002, I gave a 2 hour lecture on event scheduling using constraint programming in the SOC and SMA Computer Science Joint Seminar.

Slides: PPT
Paper: An Overview of Finite Domain Constraint Programming with Tobias Müller.
Book on OPL: The OPL Optimization Programming Language, Pascal Van Hentenryck, MIT Press
Programs: The slides use the programming language OPL. The demos shown in the class were programmed in the language Oz using the Mozart system. The Oz programs are available online. Many of these programs were written originally by Jörg Würtz, Christian Schulte and Gert Smolka as part of the Mozart documentation (see headers of source programs). I modified them in order to make them fit in the best way in the lecture. I thank Jörg, Christian and Gert for letting me use them.

For convenient downloading, a zipped file containing the slides and programs is available online.

Any feedback welcome!