MIP

Lineare, Ganzzahlige und Constraint-Programmierung

Beschreibung

Viele Optimierungsprobleme können als gemischt-ganzzahliges Programm (mixed integer program, MIP) oder gemischt-ganzzahliges nichtlineares Programm (mixed integer nonlinear program, MINLP) formuliert werden. In diesem Projekt werden Werkzeuge zur Modellierung und Lösung allgemeiner MIPs und MINLPs entwickelt. Diese können sowohl eigenständig als auch als Bibliothek zusammen mit anderen Programmen verwendet werden. Wir entwickeln, pflegen und bieten an:

• die SCIP Optimization Suite

welches eine Programmbibliothek zur Erzeugung und zum Lösen Linearer Programme, Gemischt-Ganzzahliger Programme, Gemischt-Ganzzahliger Nichtlinearer Programme und Constraint-Ganzzahliger Programme ist.
Die SCIP Optimization Suite besteht aus:

• der Modellierungssprache ZIMPL
• dem Simplex LP Löser SoPlex
• dem Branch-Cut-And-Price Framework, MIP- und MINLP-Löser SCIP, der Methoden der Constraint- und der Gemischt-Ganzzahligen Programmierung kombiniert.
• dem generischen Branch-And-Price Löser GCG
• dem Framework UG zum massiv parallelen Lösen von MIPs und MINLPs auf verteilten Speichersystemen

Weiterhin stellt das ZIB den LP-Basisverifizierer perPlex zur Verfügung.

Weitere Informationen finden sich in der ausführlichen Projektbeschreibung.

Ansprechpartner

Timo Berthold

Mitarbeiter

• Timo Berthold

• Gerald Gamrath

• Ambros Gleixner

• Martin Grötschel

• Stefan Heinz

• Thorsten Koch

• Matthias Miltenberger

• Yuji Shinano

• Kati Wolter

Partner

• Siemens AG: Corporate Technology
• TU Darmstadt: Discrete Optimization
• RWTH Aachen: Chair of Operations Research
• University of Erlangen-Nürnberg: Chair of EDOM

Dauer

seit 01/1994 - b.a.w.