Eingang zum Volltext

Urheberrechtshinweis / Copyright notice

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URL: http://opus.kobv.de/zib/volltexte/2008/1132/

Achterberg, Tobias ; Berthold, Timo ; Heinz, Stefan ; Koch, Thorsten ; Wolter, Kati

Constraint Integer Programming: Techniques and Applications

pdf-Format:
Dokument 1.pdf (308 KB)
ps-Format:
Dokument 1.ps (599 KB)

Kurzfassung in Englisch

This article introduces constraint integer programming (CIP), which is a novel way to combine constraint programming (CP) and mixed integer programming (MIP) methodologies. CIP is a generalization of MIP that supports the notion of general constraints as in CP. This approach is supported by the CIP framework SCIP, which also integrates techniques for solving satisfiability problems. SCIP is available in source code and free for noncommercial use.

We demonstrate the usefulness of CIP on three tasks. First, we apply the constraint integer programming approach to pure mixed integer programs. Computational experiments show that SCIP is almost competitive to current state-of-the-art commercial MIP solvers. Second, we demonstrate how to use CIP techniques to compute the number of optimal solutions of integer programs. Third, we employ the CIP framework to solve chip design verification problems, which involve some highly nonlinear constraint types that are very hard to handle by pure MIP solvers. The CIP approach is very effective here: it can apply the full sophisticated MIP machinery to the linear part of the problem, while dealing with the nonlinear constraints by employing constraint programming techniques.

Freie Schlagwörter (englisch): constraint programming , mixed integer programming , branch-and-cut , optimization software , chip verification
Abteilung: Optimierung
DDC-Sachgruppe: Allgemeines, Wissenschaft
Dokumentart: ZIB-Report
Schriftenreihe: ZIB-Report
Band Nummer: 08-43
ISBN: 1438-0064
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 31.10.2008
Bemerkung: printed version not available / keine gedruckte Version

Metadatensuche | Volltextsuche | Browsen | Die neuesten Publikationen | Veröffentlichen
Fragen und Anregungen an bibliothek@zib.de
Letzte Änderung: