Publications

Articles de conférences internationales

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Solving WCSP by Extraction of Minimal Unsatisfiable Cores in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),pp. 915-92, 2013. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagating Soft Table Constraints in 18th International Conference on Principles and Practice of Constraint Programming (CP’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7514, pp. 390-405, octobre 2012. [Download]

Articles de conférences nationales

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux in 9èmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 195-204, juin 2013. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagation des contraintes tables souples - étude préliminaire in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 196-201, mai 2012. [Download]