In this paper, we present recent developments in the global optimization software BARON to
address problems with integer variables. A primary development was the addition of mixed …

This paper provides a survey of recent progress and software for solving convex Mixed
Integer Nonlinear Programs (MINLP) s, where the objective and constraints are defined by …

Mixed-integer linear programming (MILP) has become a cornerstone of operations research.
This is driven by the enhanced efficiency of modern solvers, which can today find globally …

This survey is concerned with the size of perfect formulations for combinatorial optimization
problems. By “perfect formulation”, we mean a system of linear inequalities that describes …

In this study we develop an exact solution method to optimize the location and capacity of
charging stations to satisfy the fast charging needs of electric vehicles in urban areas …

The single row facility layout problem (SRFLP) is the NP-hard problem of arranging facilities
on a line, while minimizing a weighted sum of the distances between facility pairs. In this …

This survey is concerned with the size of perfect formulations for combinatorial optimization
problems. By “perfect formulation”, we mean a system of linear inequalities that describes …

Multiphase ranking functions (M\varPhi RFs) are used to prove termination of loops in which
the computation progresses through a number of phases. They consist of linear functions …

Edge content caching has emerged as a promising solution against network latency by pre-
caching popular contents at the edge of networks. However, the edge content caching and …

We consider the scenario of wireless sensor networks where a given application has to be
deployed and each application task has to be assigned to each node in the best possible …