Publications

Article(s) de revue(s) internationale(s)

2016 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, General Game Playing with Stochastic CSP in Constraints,vol. 21, n° 1, Springer, pp. 95–114, janvier 2016. (selected for Journal Publication Fast Track in CP’15) [Download]

2009 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Reasoning from Last Conflict(s) in Constraint Programming in Artificial Intelligence Journal (AIJ),vol. 173, n° 18, Elsevier, pp. 1592-1614, decembre 2009. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Recording and Minimizing Nogoods from Restarts in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 1, pp. 147-167, mai 2007. [Download]

Article(s) de conférence(s) internationale(s)

2017 Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary, A Distributed Version of Syrup in 20th International Conference on Theory and Applications of Satisfiability Testing (SAT’17),août 2017.

2017 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Constraint-Based Symmetry Detection in General Game Playing in 26th International Joint Conference on Artificial Intelligence (IJCAI’17),août 2017.

2016 Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary, An Adaptive SAT Solver in Principles and Practice of Constraint Programming - 22nd International Conference (CP’16),pp. 30-48, septembre 2016.

2016 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Stochastic Constraint Programming for General Game Playing with Imperfect Information in IJCAI on workshop: General Intelligence in Game-Playing Agents (GIGA’16),juillet 2016. [Download]

2015 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Compiling Strategic Games with Complete Information into Stochastic CSPs in AAAI-15 Workshop on Planning, Search, and Optimization (PlanSOpt-15),janvier 2015.

2015 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, General game playing with stochastic CSP in 21th International Conference on Principles and Practice of Constraint Programming (CP’15),septembre 2015. [Download]

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]

2011 Christophe Lecoutre, Sébastien Tabary, Symmetry-reinforced Nogood Recording from Restarts in 11th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon’11),pp. 13-27, septembre 2011. (dans le cadre de CP’11) [Download]

2009 Christophe Lecoutre, Sébastien Tabary, Lightweight Detection of Variable Symmetries for Constraint Satisfaction in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),IEEE Computer Society, pp. 193-197, novembre 2009. [Download]

2008 Christophe Lecoutre, Sébastien Tabary, Abscon 112: towards more robustness in 3rd International Constraint Solver Competition (CSC’08),pp. 41-48, septembre 2008. (dans le cadre de CP’08) [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Nogood Recording from Restarts in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’2007),pp. 131-136, janvier 2007. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, Springer, pp. 453-467, septembre 2007. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Transposition Tables for Constraint Satisfaction in 22nd Conference on Artificial Intelligence (AAAI’07),pp. 243-248, juillet 2007. [Download]

2006 Christophe Lecoutre, Sébastien Tabary, Abscon 109: a generic CSP solver in Problème SAT : progrès et défis,pp. 243-267, janvier 2006. (dans le cadre de CP’06) [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Last Conflict based Reasoning in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006),pp. 133-137, août 2006. [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Nogood Recording from Restarts in International Workshop on the Integration of SAT and CP techniques held with CP’06 (SATCP’06),pp. 97-111, septembre 2006.

Article(s) de revue(s) nationale(s)

2017 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, WoodStock : un programme-joueur générique in Revue d’intelligence artificielle (RIA),vol. 31, n° 3, Lavoisier, pp. 281-310, 2017.

Article(s) de conférence(s) nationale(s)

2016 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Programmation par contraintes stochastiques pour le General Game Playing avec informations incomplètes in 12èmes Journée Francophone de Programmation par Contraintes (JFPC’16),pp. 7-16, juin 2016. (Prix de la meilleure contribution aux JFPC’16) [Download]

2015 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Résolution de SCSP avec borne de confiance pour les jeux de stratégie in 11èmes Journées Francophones de Programmation par Contraintes (JFPC’15) (JFPC’15),juin 2015.

2015 Jean-Marie Lagniez, Sébastien Tabary, Nicolas Szczepanski, Swarmsat : un solveur sat massivement parallèle. in 11èmes Journées Francophones de Programmation par Contraintes,juin 2015.

2014 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Traduction de jeux a information incertaine en reseaux de contraintes stochastiques. in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),juin 2014.

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux in 9iè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]

2009 Christophe Lecoutre, Sébastien Tabary, Vincent Vidal, Identification et exploitation d’états partiels in 5ièmes Journées Francophones de Programmation par Contraintes (JFPC’09),pp. 365-374, juin 2009. [Download]

2008 Christophe Lecoutre, Sébastien Tabary, Des symétries locales de variables aux symétries globales in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC’08),pp. 181-190, juin 2008. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Tables de transposition pour la satisfaction de contraintes in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 223-230, juin 2007. [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Recherche dirigee par le dernier conflit in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 257-266, juin 2006. [Download]

Chapitre(s) d'ouvrage(s)

2009 Christophe Lecoutre, Sébastien Tabary, Symmetry Breaking chapitre 5, pp. 495-530, Wiley, juin 2009.

Thèse(s) de doctorat

2007 Sébastien Tabary, Exploiter les conflits pour réduire l’effort de recherche en satisfaction de contraintes Université d’Artois, Lens, novembre 2007. [Download]

Rapport(s) technique(s)

2012 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sébastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme Projet SPI. MITI-CNRS, mars 2012.