dblp.uni-trier.dewww.uni-trier.de

Christophe Lecoutre Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
36EEChristophe Lecoutre, Olivier Roussel: Failed Value Consistencies for Constraint Satisfaction. CP 2009: 554-568
35EEOlivier Roussel, Christophe Lecoutre: XML Representation of Constraint Networks: Format XCSP 2.1 CoRR abs/0902.2362: (2009)
2008
34EEChristophe Lecoutre: Optimization of Simple Tabular Reduction for Table Constraints. CP 2008: 128-143
33EEHachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. ECAI 2008: 500-504
32EERadoslaw 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
29EEChristophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452
28EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP 2007: 453-467
27EEChristophe Lecoutre, Fred Hemery: A Study of Residual Supports in Arc Consistency. IJCAI 2007: 125-130
26EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. IJCAI 2007: 131-136
25EEDominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
24EEKe 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)
23EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Recording and Minimizing Nogoods from Restarts. JSAT 1(3-4): 147-167 (2007)
22EEChristophe Lecoutre, Lakhdar Sais, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007)
2006
21EEChristophe 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
18EESylvain Merchez, Christophe Lecoutre, Frédéric Boussemart: Abstraction de réseaux de contraintes. Revue d'Intelligence Artificielle 20(1): 31-62 (2006)
2005
17EEChristophe Lecoutre, Stéphane Cardon: A Greedy Approach to Establish Singleton Arc Consistency. IJCAI 2005: 199-204
16EEKe Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: A Simple Model to Generate Hard Satisfiable Instances. IJCAI 2005: 337-342
15EEKe Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre: A Simple Model to Generate Hard Satisfiable Instances CoRR abs/cs/0509032: (2005)
2004
14EEFré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
12EEChristophe Lecoutre, Frédéric Boussemart, Fred Hemery: Backjump-Based Techniques versus Conflict-Directed Heuristics. ICTAI 2004: 549-557
2003
11EEChristophe Lecoutre, Frédéric Boussemart, Fred Hemery: Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. CP 2003: 480-494
10EEChristophe 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
8EEFrédéric Boussemart, Fred Hemery, Christophe Lecoutre: De AC3 à AC7. Technique et Science Informatiques 22(1): 267-280 (2003)
2001
7EESylvain Merchez, Christophe Lecoutre, Frédéric Boussemart: AbsCon: A Prototype to Solve CSPs with Abstraction. CP 2001: 730-744
2000
6EEChristophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 164-184
5EEChristophe 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)