| 2007 |
|---|
| 5 | | Christophe Lecoutre,
Lakhdar Sais,
Sébastien Tabary,
Vincent Vidal:
Transposition Tables for Constraint Satisfaction.
AAAI 2007: 243-248 |
| 4 | EE | Christophe Lecoutre,
Lakhdar Sais,
Sébastien Tabary,
Vincent Vidal:
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.
CP 2007: 453-467 |
| 3 | EE | Christophe Lecoutre,
Lakhdar Sais,
Sébastien Tabary,
Vincent Vidal:
Nogood Recording from Restarts.
IJCAI 2007: 131-136 |
| 2 | EE | Christophe Lecoutre,
Lakhdar Sais,
Sébastien Tabary,
Vincent Vidal:
Recording and Minimizing Nogoods from Restarts.
JSAT 1(3-4): 147-167 (2007) |
| 2006 |
|---|
| 1 | | Christophe Lecoutre,
Lakhdar Sais,
Sébastien Tabary,
Vincent Vidal:
Last Conflict Based Reasoning.
ECAI 2006: 133-137 |
