Assessment of a two-step approach for global optimization of mixed-integer polynomial programs using quadratic reformulation

•Comparison of reformulated MIQCPs against original MIPOPs using the solvers GUROBI, BARON and SCIP.•Investigation of preprocessing strategies and redundant quadratic constraints on performance of MIQCP reformulation.•MIQCP reformulation engine implemented in the C++ library CANON.•Reformulated MIQC...

Full description

Saved in:
Bibliographic Details
Published in:Computers & chemical engineering Vol. 165; p. 107909
Main Authors: Karia, Tanuj, Adjiman, Claire S., Chachuat, Benoît
Format: Journal Article
Language:English
Published: Elsevier Ltd 01.09.2022
Subjects:
Deterministic global optimization
MINLPLib
Mixed-integer nonlinear optimization
Polynomial optimization
Preprocessing
Quadratically-constrained programming
MINLPLib
Quadratically-constrained programming
Polynomial optimization
Preprocessing
Mixed-integer nonlinear optimization
Deterministic global optimization
ISSN:0098-1354, 1873-4375
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:•Comparison of reformulated MIQCPs against original MIPOPs using the solvers GUROBI, BARON and SCIP.•Investigation of preprocessing strategies and redundant quadratic constraints on performance of MIQCP reformulation.•MIQCP reformulation engine implemented in the C++ library CANON.•Reformulated MIQCPs solved significantly faster with GUROBI than original MIPOPs with BARON or SCIP.•Several unsolved test instances from MINLPLib successfully solved to global optimality after MIQCP reformulation. This paper revisits the approach of transforming a mixed-integer polynomial program (MIPOP) into a mixed-integer quadratically-constrained program (MIQCP), in the light of recent progress in global solvers for this latter class of models. We automate this transformation in a new reformulation engine called CANON, alongside preprocessing strategies including local search and bounds tightening. We conduct comparative tests on a collection of 137 MIPOPs gathered from test libraries such as MINLPLib. The solver GUROBI gives the best performance on the reformulated MIQCPs and outperforms the generic global solvers BARON and SCIP. The MIQCP reformulation also improves the performance of SCIP compared to direct MIPOP solution, whereas the performance of BARON is comparable on the original MIPOPs and reformulated MIQCPs. Overall, these results establish the effectiveness of quadratic reformulation for MIPOP global optimization and support its integration into global solvers.
ISSN:0098-1354
1873-4375
DOI:10.1016/j.compchemeng.2022.107909