Publications
2013
- Julien Vion. Consistance d'arc par MDD-Réduction. Actes des neuvièmes Journées Francophones de Programmation par Contraintes (JFPC'2013), Aix-en-Provence, France.
2012
- Julien Vion. Heuristiques de révision et contraintes hétérogènes. Actes des huitièmes Journées Francophones de Programmation par Contraintes (JFPC'2012), Toulouse, France, pp 328−337.
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.
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. Contributions à la résolution générique des problèmes de satisfaction de contraintes, thèse de doctorat, dirigée par Lakhdar Saïs et Christophe Lecoutre
- 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 13th 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 22nd 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, 22nd 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