Logic-based benders decomposition for large-scale optimization

JN Hooker - Large scale optimization in supply chains and smart …, 2019 - Springer
Logic-based Benders decomposition (LBBD) is a substantial generalization of classical
Benders decomposition that, in principle, allows the subproblem to be any optimization …

A mixed integer programming approach to multi-skilled workforce scheduling

R Cuevas, JC Ferrer, M Klapp, JC Muñoz - Journal of Scheduling, 2016 - Springer
The potential benefits of using human resources efficiently in the service sector constitute an
incentive for decision makers in this industry to intelligently manage the work shifts of their …

Constraint programming and operations research

JN Hooker, WJ van Hoeve - Constraints, 2018 - Springer
We present an overview of the integration of constraint programming (CP) and operations
research (OR) to solve combinatorial optimization problems. We interpret CP and OR as …

Solving multi-activity multi-day shift scheduling problems with a hybrid heuristic

S Dahmen, M Rekik - Journal of Scheduling, 2015 - Springer
This paper addresses a multi-activity multi-day shift scheduling problem in a continuous and
flexible environment including a heterogeneous workforce. Given days-off schedules …

Solver independent rotating workforce scheduling

N Musliu, A Schutt, PJ Stuckey - … 2018, Delft, The Netherlands, June 26–29 …, 2018 - Springer
The rotating workforce scheduling problem aims to schedule workers satisfying shift
sequence constraints and ensuring enough shifts are covered on each day, where every …

Solving network design problems via iterative aggregation

A Bärmann, F Liers, A Martin, M Merkert… - Mathematical …, 2015 - Springer
In this work, we present an exact approach for solving network design problems that is
based on an iterative graph aggregation procedure. The scheme allows existing preinstalled …

An implicit model for multi-activity shift scheduling problems

S Dahmen, M Rekik, F Soumis - Journal of Scheduling, 2018 - Springer
We consider a multi-activity shift scheduling problem where the objective is to construct
anonymous multi-activity shifts that respect union rules, satisfy the demand and minimize …

On solving a hard quadratic 3-dimensional assignment problem

HD Mittelmann, D Salvagnin - Mathematical Programming Computation, 2015 - Springer
We address the solution of a very challenging (and previously unsolved) instance of the
quadratic 3-dimensional assignment problem, arising in digital wireless communications …

[KÖNYV][B] Solving network design problems via decomposition, aggregation and approximation

A Bärmann - 2016 - Springer
Network design problems are among the most-often studied problems in combinatorial
optimization. They posses a rich combinatorial structure that makes them interesting from a …

Detecting semantic groups in MIP models

D Salvagnin - Integration of AI and OR Techniques in Constraint …, 2016 - Springer
Current state-of-the-art MIP technology lacks a powerful modeling language based on
global constraints, a tool which has long been standard in constraint programming. In …