Tutorial: Overview of Constraint Programming
On November 20/21 2000, I will give a tutorial on
finite domain constraint programming
at the MSORM 2000 conference in Penang, Malaysia.
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