Publications

2011

Christophe Lecoutre, Stéphane Cardon et Julien Vion. Second-Order Consistencies. Journal of Artificial Intelligence Research, Vol. 40, pp. 175-219.
Julien Vion, Thierry Petit et Narendra Jussien. A Generic Scheme for Integrating Strong Local Consistencies into Constraint Solvers. Recent Advance in Constraints, Springer LNAI Vol. 6384, pp. 90-104.

2010

Julien Vion et Sylvain Piechowiak. Handling Heterogeneous Constraints in Revision Ordering Heuristics. Proceedings of the Third Workshop on Techniques foR Implementing Constraint programming Systems. St Andrews, Écosse, septembre 2010. Pages 62-82.

2009

Julien Vion et Romuald Debruyne. Light Algorithms for Maintaining Max-RPC During Search. Proceedings of the Eighth Symposium on Abstraction, Reformulation and Approximation (SARA'2009). Lake Arrowhead, CA. Pages 167-174
Julien Vion. Consistance duale et réseaux non-binaires. Actes des Cinquièmes Journées Francophones de Programmation par Contraintes (JFPC'2009). Orléans, France. Pages 325-334.
Julien Vion, Thierry Petit et Narendra Jussien. Un schéma générique pour intégrer des consistances fortes dans les solveurs de contraintes. Actes des Cinquièmes Journées Francophones de Programmation par Contraintes (JFPC'2009). Orléans, France. Pages 315-324
Julien Vion. Dual Consistency for Non-binary Constraint Networks. EMN Research Report 09/04/INFO

2008

Christophe Lecoutre et Julien Vion. Enforcing Arc Consistency using Bitwise Operations. Constraint Programming Letters Vol. 2, Special Issue on Arc Consistency, pages 21-35.
Julien Vion. CSP Object Model, Concrete & CSP4J. Support de démonstration, Quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'2008). Nantes, France.

2007

Julien Vion. CSP4J: a black-box CSP solving API for Java. Proceedings of the Second International CSP Solver Competition, pages 75-88.
Christophe Lecoutre, Stéphane Cardon et Julien Vion. Path Consistency by Dual Consistency. Proceedings of the 13^th International Conference on Principles and Practice of Constraint Programming (CP'2007), pages 438-452. Providence, Rhode Island.
Julien Vion. Breaking out CSPs, Proceedings of the CP'2007 Doctoral Programme, pages 175-180. Providence, Rhode Island.
Christophe Lecoutre, Stéphane Cardon et Julien Vion. Conservative Dual Consistency. Proceedings of the 22^nd Conference on Artificial Intelligence (AAAI'2007), pp 237-242. Vancouver, Canada.
Christophe Lecoutre, Stéphane Cardon et Julien Vion. Conservative Dual Consistency. Additional poster presentation, 22^nd Conference on Artificial Intelligence (AAAI'2007), Vancouver, Canada.
Christophe Lecoutre, Lakhdar Saïs et Julien Vion. Using SAT Encodings to derive CSP value ordering heuristics. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), Special Issue on SAT/CP Integration, Volume 1, pp 169-186.
Christophe Lecoutre, Stéphane Cardon et Julien Vion. Consistance duale conservative. Actes des Troisièmes Journées Francophones de Programmation par Contraintes (JFPC'2007), pp 1-9. Rocquencourt, France.
Julien Vion. Hybridation de prouveurs CSP et apprentissage. Actes des Troisièmes Journées Francophones de la Programmation par Contraintes (JFPC'2007), Rocquencourt, France.

2005

Christophe Lecoutre et Julien Vion : Bound Consistencies for the discrete CSP. Proceedings of the Second International Workshop on Constraint Propagation and Implementation, Vol I, pp 33-47

2004

Julien Vion : Tolérance aux fautes dans les Systèmes Multi-Agents. Mémoire DEA, Thales Systèmes Aéroportés