C
Christophe Lecoutre
Researcher at Centre national de la recherche scientifique
Publications - 113
Citations - 2388
Christophe Lecoutre is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Local consistency & Constraint satisfaction. The author has an hindex of 24, co-authored 107 publications receiving 2233 citations. Previous affiliations of Christophe Lecoutre include university of lille & Artois University.
Papers
More filters
Proceedings Article
Boosting systematic search by weighting constraints
TL;DR: A dynamic and adaptive variable ordering heuristic which guides systematic search toward inconsistent or hard parts of a Constraint Satisfaction Problem (CSP) and which avoids some trashing by first instantiating variables involved in the constraints that have frequently participated in dead-end situations.
Journal ArticleDOI
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
TL;DR: A formal analysis shows that it is possible to generate forced satisfiable instances whose hardness is similar to unforced satisfiable ones.
Book
Constraint Networks: Techniques and Algorithms
TL;DR: This book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning.
Journal ArticleDOI
STR2: optimized simple tabular reduction for table constraints
TL;DR: An optimization of simple tabular reduction (STR), a technique proposed by J. Ullmann to dynamically maintain the tables of supports when generalized arc consistency (GAC) is enforced/maintained, allows us to limit the number of operations related to validity checking and search of supports.
Proceedings Article
A study of residual supports in arc consistency
Christophe Lecoutre,Fred Hemery +1 more
TL;DR: It is proved that AC3rm (AC3 with multi-directional residues) is optimal for low and high constraint tightness, and experimental results clearly show that exploiting residues allows enhancing MAC and SAC algorithms.