FilMINT
swMATH ID: | 6197 |
Software Authors: | Abhishek, Kumar; Leyffer, Sven; Linderoth, Jeff |
Description: | FilMINT: an outer approximation-based solver for convex mixed-integer nonlinear programs. We describe a new solver for convex mixed-integer nonlinear programs (MINLPs) that implements a linearization-based algorithm. The solver is based on an algorithm of {it I. Quesada} and {it I. E. Grossmann} [“An LP/NLP based branch-and-bound algorithm for convex MINLP optimization problems.” Comput. Chemical Engrg. 16, No. 10–11, 937–947 (1992)] that avoids the complete re-solution of a master mixed-integer linear program (MILP) by adding new linearizations at open nodes of the branch-and-bound tree whenever an integer solution is found. The new solver, FilMINT, combines the MINTO branch-and-cut framework for MILP with filterSQP to solve the nonlinear programs that arise as subproblems in the algorithm. The MINTO framework allows us to easily employ cutting planes, primal heuristics, and other well-known MILP enhancements for MINLPs. We present detailed computational experiments that show the benefit of such advanced MILP techniques. We offer new suggestions for generating and managing linearizations that are shown to be efficient on a wide range of MINLPs. By carefully incorporating and tuning all these enhancements, an effective solver for convex MINLPs is constructed. |
Homepage: | http://www.neos-server.org/neos/solvers/minco:FilMINT/AMPL.html |
Keywords: | FilMINT; mixed-integer nonlinear programming; outer approximation; LP/NLP-based branch and bound; MINTO |
Related Software: | Bonmin; Ipopt; SCIP; MINLPLib; CPLEX; AMPL; FEASPUMP; GAMS; MINOTAUR; BARON; KNITRO; minlpBB; Couenne; DICOPT; filterSQP; MINTO; MINLP; LINDO; LINDOGlobal; Gurobi |
Cited in: | 53 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
FilMINT: an outer approximation-based solver for convex mixed-integer nonlinear programs. Zbl 1243.90142 Abhishek, Kumar; Leyffer, Sven; Linderoth, Jeff |
2010
|
all
top 5
Cited by 105 Authors
all
top 5
Cited in 17 Serials
all
top 5