| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar |
Efficient Constraint Propagation for Graph Coloring.  |
Electronic Notes in Discrete Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre |
Efficient algorithms for singleton arc consistency. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre |
STR2: optimized simple tabular reduction for table constraints. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Second-Order Consistencies. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Condotta, Christophe Lecoutre |
A Framework for Decision-Based Consistencies. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen |
Promoting robust black-box solvers through competitions. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Condotta, Christophe Lecoutre |
A Class of df-Consistencies for Qualitative Constraint Networks. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Olivier Roussel, Christophe Lecoutre |
XML Representation of Constraint Networks: Format XCSP 2.1 |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Reasoning from last conflict(s) in constraint programming. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Sébastien Tabary |
Lightweight Detection of Variable Symmetries for Constraint Satisfaction. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Olivier Roussel |
Failed Value Consistencies for Constraint Satisfaction. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel |
A Decomposition Technique for Max-CSP. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radoslaw Szymanek, Christophe Lecoutre |
Constraint-Level Advice for Shaving. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre |
Optimization of Simple Tabular Reduction for Table Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Recording and Minimizing Nogoods from Restarts. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Julien Vion |
Using SAT Encodings to Drive CSP Value Ordering Heuristics. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre |
Random constraint satisfaction: Easy generation of hard (satisfiable) instances. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Nogood Recording from Restarts. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Fred Hemery |
A Study of Residual Supports in Arc Consistency. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais |
Relaxation of Qualitative Constraint Networks. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Transposition Tables for Constraint Satisfaction. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Conservative Dual Consistency. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Path Consistency by Dual Consistency. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart |
Abstraction de réseaux de contraintes. |
Revue d'Intelligence Artificielle |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Last Conflict Based Reasoning. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart |
Extracting MUCs from Constraint Networks. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Radoslaw Szymanek |
Generalized Arc Consistency for Positive Table Constraints. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre |
A Simple Model to Generate Hard Satisfiable Instances |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Stéphane Cardon |
A Greedy Approach to Establish Singleton Arc Consistency. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre |
A Simple Model to Generate Hard Satisfiable Instances. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
Boosting Systematic Search by Weighting Constraints. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
Backjump-Based Techniques versus Conflict-Directed Heuristics. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
Support Inference for Generic Filtering. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre |
De AC3 à AC7. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
De AC3 à AC7. |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
Implicit Random Constraint Satisfaction Problems. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart |
AbsCon: A Prototype to Solve CSPs with Abstraction. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre |
Une Interprétation abstraite en programmation logique avec contraintes. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Termination induction by means of an abstract OLDT resolution. |
JFPL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Abstract Interpretation and Recursive Behaviour of Logic Programs. |
LOPSTR |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")