Stéphane Cardon

Learn More
In this paper, we propose a new approach to establish Singleton Arc Consistency (SAC) on constraint networks. While the principle of existing SAC algorithms involves performing a breadth-first search up to a depth equal to 1, the principle of the two algorithms introduced in this paper involves performing several runs of a greedy search (where at each step,(More)
In this paper, we propose two original and efficient approaches for enforcing singleton arc consistency. In the first one, the data structures used to enforce arc consistency are shared between all subproblems where a domain is reduced to a singleton. This new algorithm is not optimal but it requires far less space and is often more efficient in practice(More)
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC), 3-consistency (3C), dual consistency (DC) and 2-singleton(More)
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution methods. In the past, only semi-linear graphs have been used. We examine the application of the model to control the operation of an autonomous rover which operates under tight(More)
Dans cet article, nous proposons une nouvelle approche pour établir la singleton consistance d'arc (SAC) d'un réseau de contraintes. Tandis que le prin-cipe des algorithmes SAC existants consiste à réaliser un parcours en largeur d'abord jusqu'à une profondeur égale à 1, le principe des deux algorithmes que nous introduisons consiste à réaliser plusieurs(More)
Les consistances sont des propriétés de réseaux de contraintes qui peuvent être exploitées afin de générer des inférences. Lorsqu'un nombre important d'inférences peut être effectué, il devient alors plus facile de résoudre les réseaux à l'aide par exemple d'une recherche systématique. Dans ce pa-pier, nous nous intéressons aux consistances de relation ,(More)