V-polyhedral disjunctive cuts

We introduce V-polyhedral disjunctive cuts (VPCs) for generating valid inequalities from general disjunctions. Cuts are critical to modern integer programming solvers, but their benefit is only realized when the cuts are applied recursively, causing numerical instability and “tailing off” of cut strength after several rounds. To mitigate these difficulties, the VPC framework offers a practical … Read more

Models for two- and three-stage two-dimensional cutting stock problems with a limited number of open stacks

We address three variants of the two-dimensional cutting stock problem in which the guillotine cutting of large objects produces a set of demanded items. The characteristics of the variants are: the rectangular shape of the objects and items; the number of two or three orthogonal guillotine stages; and, a sequencing constraint that limits the number … Read more

A Novel Model for Transfer Synchronization in Transit Networks and a Lagrangian-based Heuristic Solution Method

To realize the benefits of network connectivity in transfer-based transit networks, it is critical to minimize transfer disutility for passengers by synchronizing timetables of intersecting routes. We propose a mixed-integer linear programming timetable synchronization model that incorporates new features, such as dwell time determination and vehicle capacity limit consideration, which have been largely overlooked in … Read more

The SCIP Optimization Suite 8.0

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type … Read more

Freight-on-Transit for urban last-mile deliveries: A Strategic Planning Approach

We study a delivery strategy for last-mile deliveries in urban areas which combines freight transportation with mass mobility systems with the goal of creating synergies contrasting negative externalities caused by transportation. The idea is to use the residual capacity on public transport means for moving freights within the city. In particular, the system is such … Read more

On the Fairness of Aggregator’s Incentives in Residential Demand Response

The main motivation of this work is to provide an optimization-based tool for an aggregator involved in residential demand response (DR) programs. The proposed tool comply with the following requirements, which are widely accepted by the residential DR literature: (i) the aggregated consumption should be optimized under a particular utility’s target, such as the minimization … Read more

MILP models for the continuous Berth Allocation and Quay Crane Assignment Problem considering crane movement and setup times

In this technical report we present several Mixed Integer Linear Programming (MILP) models for the Berth Allocation and Quay Crane Assignment Problem (BACASP) considering crane movement and setup time (from now on: BACASP-S). First, we propose a MILP for the continuous-quay time-invariant BACASP in which both berthing time and position variables are continuous. Then, we … Read more

Optimal Eco-Routing for Hybrid Vehicles with Mechanistic/Data-Driven Powertrain Model Embedded

Hybrid Electric Vehicles (HEVs) are regarded as an important (transition) element of sustainable transportation. Exploiting the full potential of HEVs requires (i) a suitable route selection and (ii) suitable power management, i.e., deciding on the split between combustion engine and electric motor usage as well as the mode of the electric motor, i.e., driving or … Read more

Two-Stage Robust Telemedicine Assignment Problem with Uncertain Service Duration and No-Show Behaviours

The current pandemic of COVID-19 has caused significant strain on medical center resources, which are the main places to provide the rapid response to COVID-19 through the adoption of telemedicine. Thus healthcare managers must make an effective assignment plan for the patients and telemedical doctors when providing telemedicine services. Motivated by this, we present the … Read more

A MILP Approach to DRAM Access Worst-Case Analysis

The Dynamic Random Access Memory (DRAM) is among the major points of contention in multi-core systems. We consider a challenging optimization problem arising in worst-case performance analysis of systems architectures: computing the worst-case delay (WCD) experienced when accessing the DRAM due to the interference of contending requests. The WCD is a crucial input for micro-architectural … Read more