| |
| 2007 | ||
|---|---|---|
| 3 | Christophe Lecoutre, Stéphane Cardon, Julien Vion: Conservative Dual Consistency. AAAI 2007: 237-242 | |
| 2 | EE | Christophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452 |
| 1 | EE | Christophe Lecoutre, Lakhdar Saïs, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007) |
| 1 | Stéphane Cardon | [2] [3] |
| 2 | Christophe Lecoutre | [1] [2] [3] |
| 3 | Lakhdar Saïs | [1] |