-
Towards Constraint-Informed Information Systems
International audience -
A constraint-based approach for the Shift Design Personnel Task Scheduling Pr...
International audience -
Nogood-Based Asynchronous Forward Checking Algorithms
International audience -
Metaheuristics for the guidance of a constraint solver dedicated to automated...
This thesis, led in collaboration with Sagem Defence & Security, focuses on defining an efficient search strategy to solve vehicle path planning problems. This... -
A new framework for solving en-routes conflicts
International audience -
A Declarative Framework for Constrained Clustering
International audience -
What is Autonomous Search?
This dataset has no description
-
Special Issue on Autonomous Search
This dataset has no description
-
Autonomous search
This dataset has no description
-
The Energetic Reasoning Checker Revisited
International audience -
Constraint satisfaction programming for video summarization
International audience -
Global constraints and splitting strategies for solving continuous CSP
Distance constraints are widely used in many applications ranging from robotics to chemistry and CAD. Classical tehniques for solving such continuous constraints are... -
MDE 2.0 : Pragmatical formal model verification and other challenges
This document presents a synthesis of the research results conducted in the eld of software veri cation for model-driven engineering (MDE). MDE is becoming one of the... -
A constraint programming approach for managing end-to-end requirements in sen...
International audience -
Scalable multi-dimensional resources scheduling constraints
Constraint programming is an approach often used to solve combinatorial problems in different application areas. In this thesis we focus on the cumulative scheduling... -
Constraint Programming Formulation for the Elevator Trip Origin-Destination M...
We present a constraint programming formulation for the elevator trip origin-destination matrix estimation problem, and propose different approaches to solve the... -
Optimisation par hybridation d'un CSP avec un algorithme génétique
International audience -
Slot allocation with constraint programming : models and results
Current European Air Traffic Control system is far exceeded by the demand and the resulting delays are a financial and psychological burden for airlines and... -
Graph coloring for Air Traffic Flow Management
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to...
