-
4D-trajectory deconfliction through departure time adjustment
International audience -
Combining flight level allocation with ground holding to optimize 4D-deconfli...
As acknowledged by the SESAR program, current ATC systems must be drastically improved to accommodate the predicted traffic growth in Europe. In this context, the... -
Deconfliction with constraint programming
Current European Air Traffic Control (ATC) system is far exceeded by the demand and the resulting delays are a financial and psychological burden for airlines and... -
On the convergence of feasibility based bounds tightening
Global Optimization and Mixed-Integer Nonlinear Programming problems such as min{f(x) | gL ≤ g(x) ≤ gU ∧ xL ≤ x ≤ xU ∧ ∀j ∈ Z (xj ∈ Z)}, where f : Rn → R, g : Rn → Rm,... -
Mixed conflict model for Air Traffic Control
Airspace congestion is today the most critical issue European Air Traffic Management (ATM) has to face. Current real-time Air Traffic Control (ATC) is achieved by... -
Single-machine scheduling with no idle time and release dates to minimize a r...
International audience -
Plénière : Constraint programming : recent progress and applications
International audience -
Méthodes exactes de résolution du problème de maximisation de durée de vie d'...
International audience -
On the Verification of UML/OCL Class Diagrams using Constraint Programming
International audience -
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the... -
Covering Array generation using constraint programming
Nowadays, software companies develop and maintain their software for several clients. Consequently, these applications have to be integrated in heterogenous context... -
Rule-Based Constraint Programming
Article dans revue scientifique avec comité de lecture. -
Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Fin...
Colloque sur invitation. nationale. -
SAT and Hybrid Models of the Car Sequencing Problem
International audience -
Branch-and-Infer: a Framework for Combining CP and IP
Contribution à un ouvrage. -
Hybrid concurrent constraint programming: A well-suited formalism for modelli...
Colloque sans acte à diffusion restreinte. internationale. -
Multiscale modeling of alternative splicing regulation
Colloque avec actes et comité de lecture. internationale. -
A Tiling Perspective for Register Optimization
Register allocation is a much studied problem. A particularly important context for optimizing register allocation is within loops, since a significant fraction of the...
