Julien Vion

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

3 Christophe Lecoutre, Stéphane Cardon, Julien Vion: Conservative Dual Consistency. AAAI 2007: 237-242

2 Christophe Lecoutre, Stéphane Cardon, Julien Vion: Path Consistency by Dual Consistency. CP 2007: 438-452

1 Christophe Lecoutre, Lakhdar Sais, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007)

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

Coauthor Index