Publications

International journals

2016 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, General Game Playing with Stochastic CSP in Constraints,vol. 21, n° 1, pp. 95–114, 2016.

International conferences

2020 Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, anastasia paparrizou, Sébastien Tabary, Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts in ECAI 2020 - 24th European Conference on Artificial Intelligence,2020.

2019 Hugues Wattez, Christophe Lecoutre, anastasia paparrizou, Sébastien Tabary, Refining Constraint Weighting in ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence,2019.

2019 Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, anastasia paparrizou, Sébastien Tabary, Heuristiques de recherche : un bandit pour les gouverner toutes in 15es Journées Francophones de Programmation par Contraintes – JFPC 2019,2019.

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),pp. 215-232, 2017.

2017 Frédéric Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary, Constraint-Based Symmetry Detection in General Game Playing in Twenty-Sixth International Joint Conference on Artificial Intelligence,International Joint Conferences on Artificial Intelligence Organization, pp. 280-287, 2017.

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

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

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),2015.

2009 Christophe Lecoutre, Sébastien Tabary, Vincent Vidal, Identification et exploitation d’états partiels inconsistants in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 365-375, 2009.

National journals

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, pp. 281-310, 2017.

National conferences

2021 Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, anastasia paparrizou, Sébastien Tabary, Focus sur les heuristiques basées sur la pondération de contraintes in 16es Journées Francophones de Programmation par Contraintes (JFPC’21),2021.

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, 2016.

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),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 (JFPC’15),2015.

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

2012 Christophe Lecoutre, Nicolas Paris, Sébastien Tabary, Olivier Roussel, Propagation des contraintes tables souples Etude pr eliminaire in JFPC 2012,2012.

2008 Christophe Lecoutre, Sébastien Tabary, Des symétries locales de variables aux symétries globales in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 181-190, 2008.

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Tables de transposition pour la satisfaction de contraintes in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07),2007.

2006 Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal, Recherche dirigée par le dernier conflit in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),2006.