-
A Type System for CHR
We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level... -
New Light on Arc Consistency over Continuous Domains
Hyvönen and Faltings observed that propagation algorithms with continuous variables are computationally extremely inefficient when unions of intervals are used to... -
A Tour Scheduling Problem with Fixed Jobs: use of Constraint Programming
International audience -
Improving the Asymmetric TSP by Considering Graph Structure
Recent works on cost based relaxations have improved Constraint Programming (CP) models for the Traveling Salesman Problem (TSP). We provide a short survey over... -
Complete Characterization of $\epsilon$-approximate Near-Optimal Sequences fo...
International audience -
Automata and Constraint Programming for Personnel Scheduling Problems
As soon as a structure is organized, the ability to put the right people at the right time is critical to satisfy the need of a department, a school or a company. We... -
Cumulative scheduling with overloads of resource : Global constraint and deco...
Constraint programming is an interesting approach to solve scheduling problems. In cumulative scheduling, activities are defined by their starting date, their duration... -
Constrained Types - Future Directions
Position Paper -
Using Constraint Programming for Solving the Reachability Problem in Timed Pe...
International audience -
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
