[图书][B] The tail assignment problem

M Grönkvist - 2005 - Citeseer
Abstract The Aircraft Assignment problem is the problem of assigning flights to aircraft in
such a way that some operational constraints are satisfied, and possibly that some objective …

Logic-based solution methods for optimal control of hybrid systems

A Bemporad, N Giorgetti - IEEE Transactions on Automatic …, 2006 - ieeexplore.ieee.org
Combinatorial optimization over continuous and integer variables is a useful tool for solving
complex optimal control problems of hybrid dynamical systems formulated in discrete-time …

Accelerating column generation for aircraft scheduling using constraint propagation

M Grönkvist - Computers & Operations Research, 2006 - Elsevier
We discuss how constraint programming can improve the performance of a column
generation solution process for the NP-hard Tail Assignment problem in aircraft scheduling …

Developments in linear and integer programming

K Darby-Dowman, JM Wilson - Journal of the Operational …, 2002 - Taylor & Francis
In this review we describe recent developments in linear and integer (linear) programming.
For over 50 years Operational Research practitioners have made use of linear optimisation …

A sat-based hybrid solver for optimal control of hybrid systems

A Bemporad, N Giorgetti - Hybrid Systems: Computation and Control: 7th …, 2004 - Springer
Combinatorial optimization over continuous and integer variables was proposed recently as
a useful tool for solving complex optimal control problems for linear hybrid dynamical …

[图书][B] Planung und steuerung von crossdocking-zentren

M Stickel - 2006 - uplopen.com
In dieser Arbeit werden zwei Verfahren zur operativen Planung und Steuerung von
Crossdocking-Zentren (CDZ) entwickelt und bewertet. Es wird erläutert, wie externe …

LinZinc: A library for linearizing Zinc models

R Rafeh, N Jaberi - Iranian Journal of Science and Technology …, 2016 - Springer
Zinc is a modeling language in which a conceptual model is automatically mapped into
different design models using well-known solving techniques: constraint programming …

Towards Parallel Implementation of Hybrid MPC—A Survey and Directions for Future Research

D Axehill, A Hansson - Distributed decision making and control, 2012 - Springer
In this chapter parallel implementations of hybridMPC will be discussed. Different methods
for achieving parallelism at different levels of the algorithms will be surveyed. It will be seen …

Using constraint propagation to accelerate column generation in aircraft scheduling

M Grönkvist - Principles and Practice of Constraint Programming-CP …, 2002 - Springer
We discuss how the use of Constraint Programming can help speed up a Column
Generation process for the Tail Assignment problem. A generalized preprocessing …

[PDF][PDF] Towards a general formulation of lazy constraints

RH Pearce - 2019 - core.ac.uk
Integer programming is an important tool for optimising large-scale industrial processes and
problem solving in general. Many industries benefit greatly from the use of integer …