Publications
Chapitre d'ouvrage
2009
-
Lecoutre Christophe, Tabary Sebastien.
Symmetry Breaking.
Constraint Networks: Generic Techniques and Algorithms, chapter 12, pages 495--530. June, 2009.
Revues d'audience internationale avec comité de lecture
2009
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Reasoning from Last Conflict(s) in Constraint Programming.
Arificial Intelligence Journal, To appear, 2009.
2007
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Recording and Minimizing Nogoods from Restarts.
Journal on Satisfiability : Special issue on Constraint Programming and SAT, volume 1, pages 147--167. May, 2007.
[pdf]
Conférences internationales avec comité de lecture
2009
-
Lecoutre Christophe, Tabary Sebastien.
Lightweight Detection of Variable Symmetries for Constraint Satisfaction.
Proceedings of the 21st International Conference on Tools with Artificial Intelligence (ICTAI'2009), to appear. Newark, New Jersey, USA. November, 2009.
2007
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'2007), to appear. Providence, RI,USA. September, 2007.
[pdf]
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Transposition Tables for Constraint Satisfaction.
Proceedings of the 22nd American Association for Artificial Intelligence Conference (AAAI'2007), pages 243--248. Vancouver, Canada. July, 2007.
[pdf]
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Nogood Recording from Restarts.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'2007), pages 131--136. Hyderabad, India. January, 2007.
[pdf]
2006
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Last Conflict based Reasoning.
Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'2006), pages 133--137. Trento, Italy. August, 2006.
[pdf]
Workshops internationaux avec comité de lecture
2011
-
Symmetry-reinforced Nogood Recording from Restart.
Proceedings of the CP-2011 Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'11), pages 13--27. Perugia, Italy. September, 2011.
[pdf]
2006
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien and Vidal Vincent.
Nogood Recording from Restarts.
Proceedings of the CP-2006 Workshop on the Integration of SAT and CP techniques, pages 97--112. Nantes, France. September, 2006.
[pdf]
Conférences nationales avec comité de lecture
2009
-
Lecoutre Christophe, Tabary Sebastien et Vidal Vincent.
Identification et exploitation d'états partiels inconsistants.
Actes des cinquièmes Journées Francophones de Programmation par Contraintes (JFPC'2009), To appear. Orléans, France. Juin, 2009.
[pdf]
2008
-
Lecoutre Christophe et Tabary Sebastien.
Des symétries locales de variables aux symétries globales.
Actes des quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'2008). Nantes, France. Juin, 2008.
[pdf]
2007
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien et Vidal Vincent.
Tables de transposition pour la satisfaction de contraintes.
Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC'2007), pages 223--230. Rocquencourt, France. Juin, 2007.
[pdf]
2006
-
Lecoutre Christophe, Sais Lakhdar, Tabary Sebastien et Vidal Vincent.
Recherche dirigée par le dernier conflit.
Actes des secondes Journées Francophones de Programmation par Contraintes (JFPC'2006), pages 257--266. Nimes, France. Juin, 2006.
[pdf]
-
Tabary Sebastien.
Planification temporelle optimale et programmation par contraintes : amélioration des heuristiques de branchement.
Actes des Premières Journées Francophones de Planification, Décision, Apprentissage pour la conduite de systémes (JFPDA'2006), pages 23--30. Toulouse, France. Mai, 2006.
[pdf]
Rapports techniques
2007
-
Lecoutre Christophe, Tabary Sebastien.
Abscon 109 A generic CSP solver.
Proceedings of the 2006 CSP solver competition, pages 51--59. France. Juin, 2007.
[pdf]
|
|
MAJ: 03/09/2009 |