Valid Inequalities for Potential-Based Network Design Including Compressors

We study the steady-state expansion problem for potential-based flow networks. Constructing a cost-minimal network that admits a flow satisfying the underlying physical laws is a central problem in the design of gas, hydrogen, water, and electricity infrastructures. The physical behavior of such networks is governed by nonlinear relations between arc flows and the potential differences … Read more

Synthetic Population Generation and Georeferenced Household Allocation Via Iterative Proportional Fitting and Integer Programming

Georeferenced synthetic populations are essential inputs for agent-based simulations in epidemiology, transportation, and urban planning, yet existing methods for spatial allocation of households to residences lack formal optimality guarantees. We present a two-stage mathematical framework for generating such populations from publicly available census data. The first stage combines Iterative Proportional Fitting (IPF) with a mixed-integer … Read more

A Decision-Support Framework for Structuring and Reducing Large Multi-Objective Solution Sets via Clustering: An Application to Proton Therapy

This paper proposes a four-stage decision-support framework for structuring and reducing large multi-objective solution sets into compact and interpretable collections of representative alternatives. The methodology combines: (Phase 1) systematic solution generation through extended goal programming and structured preference exploration; (Phase 2) robustness-aware enrichment and profiling under weight sensitivity analysis; (Phase 3) filtering and dominance-based reduction … Read more

Indicator Cuts for Benders Decomposition with Mixed-Integer Subproblems

Classical Benders decomposition fails when the subproblem is a mixed-integer program, due to the absence of strong duality. We propose a novel class of dual-free indicator cuts that are applicable to all Benders-decomposable problems with a pure-integer master problem and mixed-integer linear programming (MILP) subproblems. These cuts are derived from the monotonicity property of the … Read more

Generalizing single-level relaxations for bilevel linear programs

We consider a broad class of bilevel linear programs in which the follower’s decisions are all continuous, while the leader’s decisions may include integrality restrictions. Solving such problems to optimality is known to be NP-hard. A classical approach in bilevel optimization for constructing lower and upper bounds is based on a single-level relaxation, in which … Read more

Optimal Route Planning for Orienteering: Branch-and-Cut with Terrain Cost Surfaces and Fatigue

We address the problem of optimal route planning for competitive orien- teering on real terrain. A Geographic Information System (GIS) pipeline transforms orienteering map data and digital terrain models into a fully asymmetric cost matrix that captures directional slope costs (via the Minetti metabolic model) and cumulative athlete fatigue. The resulting problem, the Asymmetric Orienteering … Read more

Exact Branch-and-Price Algorithm for Live Operating Room Reoptimization

Live reoptimization of operating room schedules is required to cope with disruptions such as emergency arrivals and deviations in surgery durations under strict time limits. The resulting problem can be formulated as a large-scale Resource Constrained Project Scheduling Problem (RCPSP). While exact optimization methods are attractive in this context due to their ability to provide … Read more

Computing diverse solutions to optimization problems

Classical optimization methods determine a single optimal or near-optimal solution for a decision problem. In many applications, however, the decision maker is interested in evaluating a pool of high-quality solutions, to encode fairness-oriented criteria or to obtain a portfolio of alternatives to use in case of unexpected scenarios. In this paper, we consider the problem … Read more