[图书][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 …
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 …
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 …
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 …
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 …
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 …
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 …
different design models using well-known solving techniques: constraint programming …
Towards Parallel Implementation of Hybrid MPC—A Survey and Directions for Future Research
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 …
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 …
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 …
problem solving in general. Many industries benefit greatly from the use of integer …