In this paper, we address the issue of designing from SAT new value ordering heuristics for
CSP. We show that using the direct and support SAT encodings of CSP instances, such …

La plupart des solveurs de contraintes utilisent une méthode de propagation basée sur
l'algorithme générique AC-5 [24]. Le principe d'AC-5 est d'abstraire la notion de révision de …

Most constraint solvers use the general AC-5 scheme [17] to handle constraint propagation.
AC-5 generalizes the concept of constraint revision. Each constraint type can thus be …

Nous proposons plusieurs techniques visant à résoudre en pratique le problème NP-
complet de satisfaction de contraintes de manière générique. Nous distinguons deux grands …

Résumé Nous présentons les structures de données utilisées par le solveur Concrete pour
représenter l'état d'un problème au cours de la recherche. L'utilisation de structures …

Dual Consistency (DC) was introduced by Lecoutre, Cardon and Vion in [10, 11]. DC is a
novel way of handling Path Consistency (PC), with a simpler definition, and new efficient …

Résumé La Consistance Duale (DC) a été introduite par Lecoutre, Cardon et Vion dans [10,
11]. Il s' agit d'une nouvelle maniere de gérer la Consistance de Chemin (PC),a la définition …