Christophe Lecoutre

	2011
45		Jean-François Condotta, Christophe Lecoutre: A Framework for Decision-Based Consistencies. CP 2011: 172-186
44		Christian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre: Efficient algorithms for singleton arc consistency. Constraints 16(1): 25-53 (2011)
43		Christophe Lecoutre: STR2: optimized simple tabular reduction for table constraints. Constraints 16(4): 341-371 (2011)
42		Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar: Efficient Constraint Propagation for Graph Coloring. Electronic Notes in Discrete Mathematics 37: 243-248 (2011)
41		Christophe Lecoutre, Stéphane Cardon, Julien Vion: Second-Order Consistencies. J. Artif. Intell. Res. (JAIR) 40: 175-219 (2011)
	2010
40		Jean-François Condotta, Christophe Lecoutre: A Class of df-Consistencies for Qualitative Constraint Networks. KR 2010
39		Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen: Promoting robust black-box solvers through competitions. Constraints 15(3): 317-326 (2010)
	2009
38		Christophe Lecoutre, Olivier Roussel: Failed Value Consistencies for Constraint Satisfaction. CP 2009: 554-568
37		Christophe Lecoutre, Sébastien Tabary: Lightweight Detection of Variable Symmetries for Constraint Satisfaction. ICTAI 2009: 193-197
36		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Reasoning from last conflict(s) in constraint programming. Artif. Intell. 173(18): 1592-1614 (2009)
35		Olivier Roussel, Christophe Lecoutre: XML Representation of Constraint Networks: Format XCSP 2.1 CoRR abs/0902.2362: (2009)
	2008
34		Christophe Lecoutre: Optimization of Simple Tabular Reduction for Table Constraints. CP 2008: 128-143
33		Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. ECAI 2008: 500-504
32		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		Christophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452
28		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP 2007: 453-467
27		Christophe Lecoutre, Fred Hemery: A Study of Residual Supports in Arc Consistency. IJCAI 2007: 125-130
26		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. IJCAI 2007: 131-136
25		Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
24		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		Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Recording and Minimizing Nogoods from Restarts. JSAT 1(3-4): 147-167 (2007)
22		Christophe Lecoutre, Lakhdar Sais, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007)
	2006
21		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		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		Christophe Lecoutre, Stéphane Cardon: A Greedy Approach to Establish Singleton Arc Consistency. IJCAI 2005: 199-204
16		Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: A Simple Model to Generate Hard Satisfiable Instances. IJCAI 2005: 337-342
15		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		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		Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: Backjump-Based Techniques versus Conflict-Directed Heuristics. ICTAI 2004: 549-557
	2003
11		Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. CP 2003: 480-494
10		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		Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: De AC3 à AC7. Technique et Science Informatiques 22(1): 267-280 (2003)
	2001
7		Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart: AbsCon: A Prototype to Solve CSPs with Abstraction. CP 2001: 730-744
	2000
6		Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 164-184
5		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	Christian Bessiere (Christian Bessière)	[44]
3	Frédéric Boussemart	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [24] [42]
4	Stéphane Cardon	[17] [29] [31] [41] [44]
5	Jean-François Condotta	[25] [40] [45]
6	Dominique D'Almeida	[25]
7	Romuald Debruyne	[44]
8	Philippe Devienne	[1] [2] [3]
9	Marc R. C. van Dongen	[39]
10	Éric Grégoire	[5] [6]
11	Fred Hemery	[8] [9] [10] [11] [12] [13] [14] [15] [16] [20] [24] [27] [42]
12	Patrick Lebègue	[1] [2] [3]
13	Sylvain Merchez	[5] [6] [7] [18]
14	Mouny Samy Modeliar	[42]
15	Olivier Roussel	[33] [35] [38] [39]
16	Lakhdar Sais	[13] [14] [19] [20] [22] [23] [25] [26] [28] [30] [36]
17	Radoslaw Szymanek	[21] [32]
18	Sébastien Tabary	[19] [23] [26] [28] [30] [36] [37]
19	Vincent Vidal	[19] [23] [26] [28] [30] [36]
20	Julien Vion	[22] [29] [31] [41]
21	Ke Xu	[15] [16] [24]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page