Publications

Articles de revues internationales

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics (ENDM),vol. 37, Elsevier, pp. 243-248, août 2011.

Articles de conférences internationales

2014 Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel, Scoring-based Neighborhood Dominance for the Subgraph isomorphism Problem in 20th International Conference on Principles and Practice of Constraint Programming (CP’14),Lecture Notes in Computer Science (LNCS), Volume 8656, Springer, pp. 125–141, septembre 2014. [Download]

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient constraint propagation for graph coloring in Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS’11),pp. 422-427, avril 2011. [Download]

Articles de conférences nationales

2014 Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel, Dominance au voisinage pour le probleme d’isomorphisme de sous-graphe in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),juin 2014. [Download]

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Contrôle statistique du processus de propagation de contraintes in 7ièmes Journées Francophones de Programmation par Contraintes (JFPC’11),pp. 65-74, juin 2011. [Download]

2009 Gilles Audemard, Mouny Samy-Modeliar, Laurent Simon, Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ? in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 245-253, juin 2009. [Download]