Christophe Lecoutre

2009
35	EE	Olivier Roussel, Christophe Lecoutre: XML Representation of Constraint Networks: Format XCSP 2.1 CoRR abs/0902.2362: (2009)
2008
34	EE	Christophe Lecoutre: Optimization of Simple Tabular Reduction for Table Constraints. CP 2008: 128-143
33	EE	Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. ECAI 2008: 500-504
32	EE	Radoslaw Szymanek, Christophe Lecoutre: Constraint-Level Advice for Shaving. ICLP 2008: 636-650
2007
31		Christophe Lecoutre, Stéphane Cardon, Julien Vion: Conservative Dual Consistency. AAAI 2007: 237-242
30		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Transposition Tables for Constraint Satisfaction. AAAI 2007: 243-248
29	EE	Christophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452
28	EE	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP 2007: 453-467
27	EE	Christophe Lecoutre, Fred Hemery: A Study of Residual Supports in Arc Consistency. IJCAI 2007: 125-130
26	EE	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. IJCAI 2007: 131-136
25	EE	Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
24	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)
23	EE	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Recording and Minimizing Nogoods from Restarts. JSAT 1(3-4): 147-167 (2007)
22	EE	Christophe Lecoutre, Lakhdar Saïs, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007)
2006
21	EE	Christophe Lecoutre, Radoslaw Szymanek: Generalized Arc Consistency for Positive Table Constraints. CP 2006: 284-298
20		Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart: Extracting MUCs from Constraint Networks. ECAI 2006: 113-117
19		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Last Conflict Based Reasoning. ECAI 2006: 133-137
18	EE	Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart: Abstraction de réseaux de contraintes. Revue d'Intelligence Artificielle 20(1): 31-62 (2006)
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	Hachemi Bennaceur	[33]
2	Frédéric Boussemart	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [24]
3	Stéphane Cardon	[17] [29] [31]
4	Jean-François Condotta	[25]
5	Dominique D'Almeida	[25]
6	Philippe Devienne	[1] [2] [3]
7	Éric Grégoire	[5] [6]
8	Fred Hemery	[8] [9] [10] [11] [12] [13] [14] [15] [16] [20] [24] [27]
9	Patrick Lebègue	[1] [2] [3]
10	Sylvain Merchez	[5] [6] [7] [18]
11	Olivier Roussel	[33] [35]
12	Lakhdar Sais	[13] [14] [19] [20] [23] [25] [26] [28] [30]
13	Lakhdar Saïs	[22]
14	Radoslaw Szymanek	[21] [32]
15	Sébastien Tabary	[19] [23] [26] [28] [30]
16	Vincent Vidal	[19] [23] [26] [28] [30]
17	Julien Vion	[22] [29] [31]
18	Ke Xu	[15] [16] [24]

Colors in the list of coauthors