In this article we will give a brief overview of the start-of-the-art on software for the solution of mixed integer nonlinear programs (MINLP). We establish several groupings with respect to various features and give concise individual descriptions for each solver.

We present a specialized branch-and-bound (b&b) algorithm for the Euclidean Steiner tree problem (ESTP) in R and apply it to a convex mixed-integer nonlinear programming (MINLP) formulation of the problem, presented by Fampa and Maculan. The algorithm contains procedures to avoid difficulties observed when applying a b&b algorithm for general MINLP problems to solve the ESTP. Our main emphasis ...

Abstract We investigate the generalized red refinement for n -dimensional simplices that dates back to Freudenthal (Ann Math 43(3):580–582, 1942) in a mixed-integer nonlinear program ( $${\textsc {MINLP}}$$ MINLP ) context. show meets sufficient convergence conditions known solution framework is essentially b...

Simultaneous synthesis and design of reaction–separation–recycle processes using rigorous models is highly desirable to improve process efficiency. However, it often leads a large-scale challenging optimization problem. In this work, we propose computationally efficient framework for the The reactor separator networks are modeled generalized disjunctive programming, which reformulated into nonc...

This paper presents a formulation of unit commitment for thermal units integrated with wind and solar energy systems and electrical vehicles with emphasizing on Mixed Integer Nonlinear Programming (MINLP). The renewable energy resources are included in this model due to their low electricity cost and positive effect on environment. As well as, coordinated charging strategy of electrical vehicle...

This paper is an application of the systematic design approach to the plastics separation systems synthesis under uncertainty. The problem is distinguished from the traditional chemical distillation processes in that, first there are many separation mechanisms can be used and a combination of them is a necessity and second there is a significant variation of feed composition leading to the desi...

The performance of Branch-and-Bound algorithms is severely impaired by the presence of symmetric optima in a given problem. We describe a method for the automatic detection of formulation symmetries in MINLP instances. A software implementation of this method is used to conjecture the group structure of the problem symmetries of packing equal circles in a square. We provide a proof of the conje...

A campus based smart micro grid model that combined power and heat is presented. In this study, optimal scheduling of distributed generations inside these smart micro grids is determined based on demand forecasting, solar power forecasting and wind power forecasting by artificial neural network (ANN). The proposed model is then evaluated through economical efficiency, environment efficiency and...

In this paper some high-performance mixed integer non-linear programming (MINLP) solvers in GAMS (General Algebraic Modeling System) are evaluated. AlphaECP, Baron, Dicopt and SBB are the MINLP (mixed integer non-linear programming) solvers in focus. A large test set with 250 problems is used and special attention is given to a new GAMS solver, GAMS/AlphaECP, which has recently been included in...

This paper discusses energy savings in wastewater processing plant pump operations and proposes a pump system scheduling model to generate operational schedules to reduce energy consumption. A neural network algorithm is utilized to model pump energy consumption and fluid flow rate after pumping. The scheduling model is a mixed-integer nonlinear programming problem (MINLP). As solving a data-dr...