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.

2009 Christophe Lecoutre, Lakhdar Saïs, Sebastien Tabary, Vincent Vidal, Reasoning from Last Conflict(s) in Constraint Programming in Artificial Intelligence Journal (AIJ),vol. 173, n° 18, pp. 1592-1614, 2009.

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.

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.

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sebastien Tabary, Propagating Soft Table Constraints in 18th International Conference on Principles and Practice of Constraint Programming (CP'12),Springer, vol. 7514, pp. 390-405, 2012.

2011 Christophe Lecoutre, Sebastien Tabary, Symmetry-reinforced Nogood Recording from Restarts in 11th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'11),pp. 13-27, 2011.

2009 Christophe Lecoutre, Sebastien Tabary, Lightweight Detection of Variable Symmetries for Constraint Satisfaction in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),pp. 193-197, 2009.

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.

2008 Christophe Lecoutre, Sebastien Tabary, Abscon 112: towards more robustness in 3rd International Constraint Solver Competition (CSC'08),pp. 41-48, 2008.

2008 Christophe Lecoutre, Sebastien Tabary, Abscon 109: a generic CSP solver in 2nd International Constraint Solver Competition (CSC'06),pp. 55-63, 2008.

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.

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.

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

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.

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.

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sebastien 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, 2013.

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

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

2008 Christophe Lecoutre, Sebastien 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, 2008.

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.

Book chapters

2009 Christophe Lecoutre, Sebastien Tabary, Symmetry Breaking in Constraint Networks: Techniques and Algorithms,pp. 495-530, Wiley, 2009.

Technical reports

2012 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sebastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme 2012.