Der Vortrag beschreibt, wie Benutzer von Mozart Oz neue Propagierer selbst
implementieren und und in ihren Applikationen benutzen können. Es wird dabei
auf das Constraint Propagierer Inferface (CPI) von Mozart Oz eingegangen und
die Implementierung eines Propagierers am Beispiel erklärt.
Ernst Althaus: Implementierung eines symbolischen Constraints in integer programming
Ich werde eine Implementierung des Traveling Salesman Problems vorstellen.
Die Implementierung basiert auf einem Interface, das symbolische Constraints in
Integer Programming unterstuetzt.
Alexander Bockmayr:
Symbolic constraints are one of the main achievements of constraint
programming.
This talk is about the design and realization of symbolic constraints
for integer programming.
I will address the following issues:
1. Communication between different symbolic constraints
2. Developing a symbolic constraint for a generic transportation problem
Kurt Mehlhorn: Narrowing
Ich werde Narrowing Algorithmen f"ur Alldiff und Sorting besprechen
und erkl"aren, wie weit wir mit eigenen Implementierungen sind.