To formulate a real-world optimization problem, it is sometimes necessary to adopt a set of
non-linear terms in the mathematical formulation to capture specific operational …

A wide range of problems arising in practical applications can be formulated as Mixed-
Integer Nonlinear Programs (MINLPs). For the case in which the objective and constraint …

Abstract The success of Deep Learning and its potential use in many safety-critical
applications has motivated research on formal verification of Neural Network (NN) models …

The success of Deep Learning and its potential use in many safety-critical applications has
motivated research on formal verification of Neural Network (NN) models. In this context …

Reasonable charging station positions are critical to prompt the widespread use of electric
vehicles (EVs). This paper proposes a bi-level programming model with the consideration of …

When SIAM asked us to prepare a new edition of this book after less than three years from
publication, we expected a light duty. Just the correction of some typos and imprecisions …

In this study, the optimal locations of a specific type of charging facilities for electric vehicles
(EVs), wireless power transfer facilities, are investigated. A mathematical model has been …

In this paper a reformulation technique is presented that takes a given linear zero-one
programming problem, converts it into a zero-one polynomial programming problem, and …

We propose a cutting plane algorithm for mixed 0–1 programs based on a family of
polyhedra which strengthen the usual LP relaxation. We show how to generate a facet of a …

This paper reviews the advances of mixed-integer linear programming (MILP) based
approaches for the scheduling of chemical processing systems. We focus on the short-term …