Christophe Lecoutre

2007
28		Christophe Lecoutre, Stéphane Cardon, Julien Vion: Conservative Dual Consistency. AAAI 2007: 237-242
27		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Transposition Tables for Constraint Satisfaction. AAAI 2007: 243-248
26	EE	Christophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452
25	EE	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP 2007: 453-467
24	EE	Christophe Lecoutre, Fred Hemery: A Study of Residual Supports in Arc Consistency. IJCAI 2007: 125-130
23	EE	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. IJCAI 2007: 131-136
22	EE	Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
21	EE	Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: Random constraint satisfaction: Easy generation of hard (satisfiable) instances. Artif. Intell. 171(8-9): 514-534 (2007)
2006
20	EE	Christophe Lecoutre, Radoslaw Szymanek: Generalized Arc Consistency for Positive Table Constraints. CP 2006: 284-298
19		Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart: Exhacting MUCs from Constraint Networks. ECAI 2006: 113-117
18		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Last Conflict Based Reasoning. ECAI 2006: 133-137
2005
17	EE	Christophe Lecoutre, Stéphane Cardon: A Greedy Approach to Establish Singleton Arc Consistency. IJCAI 2005: 199-204
16	EE	Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: A Simple Model to Generate Hard Satisfiable Instances. IJCAI 2005: 337-342
15	EE	Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: A Simple Model to Generate Hard Satisfiable Instances CoRR abs/cs/0509032: (2005)
2004
14	EE	Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais: Support Inference for Generic Filtering. CP 2004: 721-725
13		Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais: Boosting Systematic Search by Weighting Constraints. ECAI 2004: 146-150
12	EE	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: Backjump-Based Techniques versus Conflict-Directed Heuristics. ICTAI 2004: 549-557
2003
11	EE	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. CP 2003: 480-494
10	EE	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: Implicit Random Constraint Satisfaction Problems. ICTAI 2003: 482-486
9		Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: De AC3 à AC7. JFPLC 2003: 267-280
8	EE	Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: De AC3 à AC7. Technique et Science Informatiques 22(1): 267-280 (2003)
2001
7	EE	Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart: AbsCon: A Prototype to Solve CSPs with Abstraction. CP 2001: 730-744
2000
6	EE	Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 164-184
5	EE	Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 326-327
1994
4		Christophe Lecoutre: Une Interprétation abstraite en programmation logique avec contraintes. JFPLC 1994: 189-204
1992
3		Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Termination induction by means of an abstract OLDT resolution. JFPL 1992: 353-373
1991
2		Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA 1991: 62-69
1		Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Abstract Interpretation and Recursive Behaviour of Logic Programs. LOPSTR 1991: 147-166

Coauthor Index

1	Frédéric Boussemart	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [19] [21]
2	Stéphane Cardon	[17] [26] [28]
3	Jean-François Condotta	[22]
4	Dominique D'Almeida	[22]
5	Philippe Devienne	[1] [2] [3]
6	Éric Grégoire	[5] [6]
7	Fred Hemery	[8] [9] [10] [11] [12] [13] [14] [15] [16] [19] [21] [24]
8	Patrick Lebègue	[1] [2] [3]
9	Sylvain Merchez	[5] [6] [7]
10	Lakhdar Sais	[13] [14] [18] [19] [22] [23] [25] [27]
11	Radoslaw Szymanek	[20]
12	Sébastien Tabary	[18] [23] [25] [27]
13	Vincent Vidal	[18] [23] [25] [27]
14	Julien Vion	[26] [28]
15	Ke Xu	[15] [16] [21]

Colors in the list of coauthors