Tutorial: Overview of Constraint Programming

On July 7 2000, I gave a tutorial on finite domain constraint programming at the Fifth Conference of the Association of Asia-Pacific Operational Research Societies within IFORS at Singapore.

Material

Programs

The tutorial uses the programming language Oz. The demos shown in the class were programmed in Oz using the Mozart system. The Oz programs are available online. Some 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.

The three programs that are covered as "Excursions" are listed here:

Download

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

Any feedback welcome!


© The copyright to this material is owned by NUS
Author Martin Henz