Exploiting sparsity for the min k-partition problem

The minimum k-partition problem is a challenging combinatorial problem with a diverse set of applications ranging from telecommunications to sports scheduling. It generalizes the max-cut problem and has been extensively studied since the late sixties. Strong integer formulations proposed in the literature suffer from a prohibitive number of valid inequalities and integer variables. In this … Read more

New solution approaches for the maximum-reliability stochastic network interdiction problem

We investigate methods to solve the maximum-reliability stochastic network interdiction problem (SNIP). In this problem, a defender interdicts arcs on a directed graph to minimize an attacker’s probability of undetected traversal through the network. The attacker’s origin and destination are unknown to the defender and assumed to be random. SNIP can be formulated as a … Read more

Nonconvex piecewise linear functions: Advanced formulations and simple modeling tools

We present novel mixed-integer programming (MIP) formulations for (nonconvex) piecewise linear functions. Leveraging recent advances in the systematic construction of MIP formulations for disjunctive sets, we derive new formulations for univariate functions using a geometric approach, and for bivariate functions using a combinatorial approach. All formulations derived are small (logarithmic in the number of piecewise … Read more

Mathematical models for Multi Container Loading Problems with practical constraints

We address the multi container loading problem of a company that has to serve its customers by first putting the products on pallets and then loading the pallets into trucks. We approach the problem by developing and solving integer linear models. To be useful in practice, our models consider three types of constraints: geometric constraints, … Read more

Disruption Recovery at Airports: Integer Programming Formulations and Polynomial time algorithms

We study disruptions at a major airport. Disruptions could be caused by bad weather, for example. Our study is from the perspective of the airport, the air services provider (such as air traffic control) and the travelling public, rather than from the perspective of a single airline. Disruptions cause flights to be subjected to ground … Read more

Improved Space-State Relaxation for Constrained Two-Dimensional Guillotine Cutting Problems

Christofides and Hadjiconstantinou introduced a dynamic programming state space relaxation for obtaining upper bounds for the Constrained Two-dimensional Guillotine Cutting Problem. The quality of those bounds depend on the chosen item weights, they are adjusted using a subgradient-like algorithm. This paper proposes Algorithm X, a new weight adjusting algorithm based on integer programming that provably … Read more

Optimizing power generation in the presence of micro-grids

In this paper we consider energy management optimization problems in a future wherein an interaction with micro-grids has to be accounted for. We will model this interaction through a set of contracts between the generation companies owning centralized assets and the micro-grids. We will formulate a general stylized model that can, in principle, account for … Read more

Co-optimization of Demand Response and Reserve Offers for a Major Consumer

In this paper we present a stochastic optimization problem for a strategic major consumer who has flexibility over its consumption and can offer reserve. Our model is a bi-level optimization model (reformulated as a mixed-integer program) that embeds the optimal power flow problem, in which electricity and reserve are co-optimized. We implement this model for … Read more

Comparison of IP and CNF Models for Control of Automated Valet Parking Systems

In automated valet parking system, a central computer controls a number of robots which have the capability to move in two directions, under cars, lift a car up, carry it to another parking slot, and drop it. We study the theoretical throughput limitations of these systems: Given a car park layout, an initial configuration of … Read more

An optimization-based approach for delivering radio-pharmaceuticals to medical imaging centers

It is widely recognized that early diagnosis of most types of cancers can increase the chances of full recovery or substantially prolong the life of patients. Positron Emission Tomography (PET) has become the standard way to diagnose many types of cancers by generating high quality images of the affected organs. In order to create an … Read more