next_inactive up previous


Prof. Dr. Gerhard Reinelt
Dr.  Marcus Oswald
Dipl.-Inf. Dino Ahr
Institut für Informatik
Universität Heidelberg
http://www.informatik.uni-heidelberg.de/groups/comopt/



Seminar WS 2003

``Synergien zwischen Mathematical Programming und Constraint Programming''

1 Organisatorisches

Das Seminar findet Dienstags um 14:00 Uhr (c.t.) in INF 368, Raum 220 (2. Stock) statt. Wann mit den Vorträgen begonnen wird, hängt von der Teilnehmerzahl ab.

Ihr Vortragskonzept, Folien und/oder Tafelbild sollten unbedingt vor dem Vortrag mit uns durchgesprochen werden. Bitte beachten Sie unsere Seminarrichtlinien [seminarguide.ps,seminarguide.pdf]. Die schriftliche Ausarbeitung ist spätestens zwei Wochen vor dem Vortragstermin vorzulegen.

Für ihren Vortrag stehen Ihnen Tafel, Overhead-Projektor und Laptop und Beamer zur Verfügung. Auf dem Laptop ist Windows XP und Microsoft Office 2002 sowie Linux installiert.

Fragen richten Sie bitte per Email an Marcus.Oswald@informatik.uni-heidelberg.de oder Dino.Ahr@informatik.uni-heidelberg.de.

2 Vortragsthemen

Basierend auf den folgenden Artikeln der Sonderausgabe der Zeitschrift ``INFORMS Journal on Computing'', Vol. 14, No. 4, 2002, soll der aktuelle Stand der Forschung bzgl. der Synerigen zwischen Mathematical Programming und Constraint Programming erarbeitet werden.

Literatur

DBS02
B. Davey, N. Boland, and P. J. Stuckey.
Efficient Intelligent Backtracking Using Linear Programming.
INFORMS Journal on Computing, 14(4):373-386, 2002.

Hoo02
J. N. Hooker.
Logic, Optimization, and Constraint Programming.
INFORMS Journal on Computing, 14(4):295-321, 2002.

MORT02
M. Milano, G. Ottosson, P. Refalo, and E. S. Thorsteinsson.
The Role of Integer Programming Techniques in Constraint Programming's Global Constraints.
INFORMS Journal on Computing, 14(4):387-402, 2002.

vH02
P. van Hentenryck.
Constraint and Integer Programming in OPL.
INFORMS Journal on Computing, 14(4):345-372, 2002.



Dino Ahr, AG Reinelt - Discrete Optimization, Institute for Computer Science, University of Heidelberg