Branching and bounds tighteningtechniques for non-convex MINLP

Many industrial problems can be naturally formulated using mixed integer non-linear programming (MINLP) models and can be solved by spatial Branch&Bound (sBB) techniques. We study the impact of two important parts of sBB methods: bounds tightening (BT) and branching strategies. We extend a branc...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Optimization methods & software Jg. 24; H. 4-5; S. 597 - 634
Hauptverfasser: Belotti, Pietro, Lee, Jon, Liberti, Leo, Margot, François, Wächter, Andreas
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Taylor & Francis 01.10.2009
Schlagworte:
bounds tightening
branching rules
Couenne
mixed-integer non-linear programming
ISSN:1055-6788, 1029-4937
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Many industrial problems can be naturally formulated using mixed integer non-linear programming (MINLP) models and can be solved by spatial Branch&Bound (sBB) techniques. We study the impact of two important parts of sBB methods: bounds tightening (BT) and branching strategies. We extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated by the demand for open-source solvers for real-world MINLP problems, we have developed an sBB software package named couenne (Convex Over- and Under-ENvelopes for Non-linear Estimation) and used it for extensive tests on several combinations of BT and branching techniques on a set of publicly available and real-world MINLP instances. We also compare the performance of couenne with a state-of-the-art MINLP solver.
ISSN:1055-6788
1029-4937
DOI:10.1080/10556780903087124