Concepedia

Christophe Lecoutre

CL

Statistics

Publications

8

Citations

389

H-Index

8

Active since

2005

Affiliations

Centre de Recherche en Informatique(Current)

Centre National de la Recherche Scientifique

Christophe Lecoutre is an author at Centre de Recherche en Informatique specializing in computer science, automated reasoning, and formal methods.

Top concepts

Publications per year

2005–2009

8

Publications

8

Constraint Networks: Techniques and Algorithms

Christophe Lecoutre · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 94 citations

, , +17

A Study of Residual Supports in Arc Consistency

Christophe Lecoutre, Fred Hémery · 2006 · 71 citations

A Simple Model to Generate Hard Satisfiable Instances

Ke Xu, Fr ́ed ́eric Boussemart, Fred Hémery et al. · arXiv (Cornell University) · 2005 · 68 citations · Full text

, , +17

Recording and Minimizing Nogoods from Restarts

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 44 citations · Full text

Nogood Recording from Restarts

Christophe Lecoutre, Sébastien Tabary, Vincent Vidal · 2006 · 37 citations

Rows per page

1–5 of 8