2007 |
15 | 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 |
14 | | Fred Hemery,
Christophe Lecoutre,
Lakhdar Sais,
Frédéric Boussemart:
Extracting MUCs from Constraint Networks.
ECAI 2006: 113-117 |
13 | 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 |
12 | EE | Ke Xu,
Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre:
A Simple Model to Generate Hard Satisfiable Instances.
IJCAI 2005: 337-342 |
11 | 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 |
10 | EE | Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre,
Lakhdar Sais:
Support Inference for Generic Filtering.
CP 2004: 721-725 |
9 | | Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre,
Lakhdar Sais:
Boosting Systematic Search by Weighting Constraints.
ECAI 2004: 146-150 |
8 | EE | Christophe Lecoutre,
Frédéric Boussemart,
Fred Hemery:
Backjump-Based Techniques versus Conflict-Directed Heuristics.
ICTAI 2004: 549-557 |
2003 |
7 | EE | Christophe Lecoutre,
Frédéric Boussemart,
Fred Hemery:
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.
CP 2003: 480-494 |
6 | EE | Christophe Lecoutre,
Frédéric Boussemart,
Fred Hemery:
Implicit Random Constraint Satisfaction Problems.
ICTAI 2003: 482-486 |
5 | | Christophe Lecoutre,
Frédéric Boussemart,
Fred Hemery:
De AC3 à AC7.
JFPLC 2003: 267-280 |
4 | EE | Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre:
De AC3 à AC7.
Technique et Science Informatiques 22(1): 267-280 (2003) |
2001 |
3 | EE | Sylvain Merchez,
Christophe Lecoutre,
Frédéric Boussemart:
AbsCon: A Prototype to Solve CSPs with Abstraction.
CP 2001: 730-744 |
2000 |
2 | EE | Christophe Lecoutre,
Sylvain Merchez,
Frédéric Boussemart,
Éric Grégoire:
A CSP Abstraction Framework.
SARA 2000: 164-184 |
1 | EE | Christophe Lecoutre,
Sylvain Merchez,
Frédéric Boussemart,
Éric Grégoire:
A CSP Abstraction Framework.
SARA 2000: 326-327 |