Symmetry definitions for constraint satisfaction problems
We review the many different definitions of symmetry for constraint satisfaction problems
(CSPs) that have appeared in the literature, and show that a symmetry can be defined in two …
(CSPs) that have appeared in the literature, and show that a symmetry can be defined in two …
Integration and propagation of a multi-criteria decision making model in constraint programming
In this paper we propose a general integration scheme for a Multi-Criteria Decision Making
model of the Multi-Attribute Utility Theory in Constraint Programming. We introduce the …
model of the Multi-Attribute Utility Theory in Constraint Programming. We introduce the …
Inter-distance constraint: An extension of the all-different constraint for scheduling equal length jobs
K Artiouchine, P Baptiste - … and Practice of Constraint Programming-CP …, 2005 - Springer
We study a global constraint, the “inter-distance constraint” that ensures that the distance
between any pair of variables is at least equal to a given value. When this value is 1, the …
between any pair of variables is at least equal to a given value. When this value is 1, the …
Incremental algorithms for local search from existential second-order logic
Local search is a powerful and well-established method for solving hard combinatorial
problems. Yet, until recently, it has provided very little user support, leading to time …
problems. Yet, until recently, it has provided very little user support, leading to time …
Du système d'information personnel au système d'information collectif: réalités et mirages du partage de l'information en entreprise
MF Peyrelong, JP Accart - L'avancement du savoir: élargir les horizons …, 2002 - hal.science
Des formes de coordination renouvelées sont aujourd'hui instrumentées par les
technologies de l'information et de la communication, dans des situations où les personnes …
technologies de l'information et de la communication, dans des situations où les personnes …
Arc-b-consistency of the inter-distance constraint
K Artiouchine, P Baptiste - Constraints, 2007 - Springer
We study the “inter-distance constraint,” also known as the global minimum distance
constraint, that ensures that the distance between any pair of variables is at least equal to a …
constraint, that ensures that the distance between any pair of variables is at least equal to a …
Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques
J Mattioli, K Artiouchine - JFPLC'2003 Douzièmes Journées …, 2003 - inria.hal.science
L'objectif de ce papier est de décrire une approche pour aborder la problématique induite
par la nature hybride (statique $+ $ dynamique) des systèmes. En effet, étant donné un …
par la nature hybride (statique $+ $ dynamique) des systèmes. En effet, étant donné un …