Publications

Articles de revues internationales

2020 Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel, XCSP3 and its ecosystem in Constraints Journal (Constraints),pp. 1-23, 2020.

2016 Christian Bessière, Hélène Fargier, Christophe Lecoutre, Computing and Restoring Global Inverse Consistency in Interactive Constraint Satisfaction in Artificial Intelligence,vol. 241, pp. 153-169, 2016.

2011 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics,vol. 37, pp. 243-248, 2011.

2011 Christophe Lecoutre, Stéphane Cardon, Julien Vion, Second-Order Consistencies in Journal of Artificial Intelligence Research,vol. 40, pp. 175-219, 2011.

2011 Christian Bessière, Stephane Cardon, Romuald Debruyne, Christophe Lecoutre, Efficient Algorithms for Singleton Arc Consistency in Constraints,vol. 16, pp. 25-53, 2011.

2011 Christophe Lecoutre, STR2: Optimized Simple Tabular Reduction for Table Constraints in Constraints,vol. 16, n° 4, pp. 341-371, 2011.

2010 Christophe Lecoutre, Olivier Roussel, Marc~r.C. van Dongen, Promoting Robust Black-Box Solvers Through Competitions in Constraints,vol. 15, n° 3, pp. 317-326, 2010.

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.

2008 Christophe Lecoutre, Chavalit Likitvivatanavong, Scott Shannon, Roland Yap, Yuanlin Zhang, Maintaining Arc Consistency with Multiple Residues in Constraint Programming Letters (CPL),vol. 2, pp. 3-19, 2008.

2008 Christophe Lecoutre, Julien Vion, Enforcing Arc Consistency using Bitwise Operations in Constraint Programming Letters (CPL),vol. 2, pp. 21-35, 2008.

Articles de conférences internationales

2022 Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Hugues Wattez, Aggressive Bound Descent for Constraint Optimization in Doctoral Program of the 28th International Conference on Principles and Practice of Constraint Programming.,2022.

2022 Frederic Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez, Best Heuristic Identification for Constraint Satisfaction in 31st International Joint Conference on Artificial Intelligence (IJCAI'22),2022.

2021 Nicolas Szczepanski, Gilles Audemard, Laetitia Jourdan, Christophe Lecoutre, Lucien Mousin, Nadarajen Veerapen, A hybrid CP/MOLS approach for multi-objective imbalanced classification in GECCO '21: Genetic and Evolutionary Computation Conference,ACM, pp. 723-731, 2021.

2020 Gilles Audemard, Christophe Lecoutre, Mehdi Maamar, Segmented Tables: an Efficient Modeling Tool for Constraint Reasoning in 24th European Conference on Artificial Intelligence (ECAI'20),2020.

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.

2020 Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre, NACRE - A Nogood And Clause Reasoning Engine in 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23),pp. 249-259, 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.

2016 Jean-Philippe Prost, Remi Coletta, Christophe Lecoutre, Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes in TALN: Traitement Automatique des Langues Naturelles,2016.

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

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Constraint Solving using Parallel Singleton Arc Consistency in 1st Workshop on Cloud Computing and Optimization,2014.

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sliced Table Constraints: Combining Compression and Tabular Reduction in CPAIOR,2014.

2013 Christian Bessière, Hélène Fargier, Christophe Lecoutre, Global Inverse Consistency for Interactive Constraint Satisfaction in CP: Principles and Practice of Constraint Programming,vol. LNCS, pp. 159-174, 2013.

2013 Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou, Extending STR to a Higher-Order Consistency in 27th Conference on Artificial Intelligence (AAAI'13),AAAI Press, pp. 576-582, 2013.

2013 Vianney Le Clément de Saint-Marcq, Pierre Schaus, Christine Solnon, Christophe Lecoutre, Sparse-Sets for Domain Implementation in CP workshop on Techniques foR Implementing Constraint programming Systems (TRICS),pp. 1-10, 2013.

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.

2012 Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani, WCSP Integration of Soft Neighborhood Substitutability in 18th International Conference on Principles and Practice of Constraint Programming (CP'12),Springer, vol. 7415, pp. 406-421, 2012.

2012 Christophe Lecoutre, Chavalit Likitvivatanavong, Roland Yap, A path-optimal GAC algorithm for table constraints in 20th European Conference on Artificial Intelligence (ECAI'12),pp. 510-515, 2012.

2011 Jean-Francois Condotta, Christophe Lecoutre, A Framework for Decision-based Consistencies in 17th International Conference on Principles and Practice of Constraint Programming (CP'11),Springer, vol. 6876, pp. 172-186, 2011.

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.

2010 Jean-Francois Condotta, Christophe Lecoutre, A Class of df-consistencies for Qualitative Constraint Networks in 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10),pp. 319-328, 2010.

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.

2009 Christophe Lecoutre, Olivier Roussel, Cohérences basées sur les valeurs en échec in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 355-365, 2009.

2009 Christophe Lecoutre, Olivier Roussel, Failed Value Consistencies for Constraint Satisfaction in 15th International Conference on Principles and Practice of Constraint Programming (CP'09),Springer, vol. 5732, pp. 554-568, 2009.

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.

2008 Christophe Lecoutre, Optimization of Simple Tabular Reduction for Table Constraints in 14th International Conference on Principles and Practice of Constraint Programming (CP'08),springer, vol. 5202, pp. 128-143, 2008.

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

2008 Radoslaw Szymanek, Christophe Lecoutre, Constraint-level advice for shaving in 24th International Conference on Logic Programming(ICLP'08),LNCS 5366, Springer, pp. 636-650, 2008.

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

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A Decomposition Technique for Solving {Max-CSP} in 18th European Conference on Artificial Intelligence (ECAI'08),pp. 500-504, 2008.

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A decomposition strategy to reduce the search space of solutions of WCSP in 9th Workshop on Preferences and Soft Constraints (Soft'08),pp. 73-87, 2008.

2007 Dominique d'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs, Relaxation of Qualitative Constraint Networks in 7th Symposium on Abstraction, Reformulation and Approximation (SARA'07),LNCS 4612, Springer, pp. 93-108, 2007.

2005 Christophe Lecoutre, Frederic Boussemart, Fred Hemery, Abscon 2005 in 2nd International Workshop on Constraint Propagation And Implementation(CPAI'05),pp. 67-72, 2005.

2005 K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre, A simple model to generate hard satisfiable instances in 19th International Joint Conference on Artificial Intelligence(IJCAI'05),pp. 337-342, 2005.

2005 Christophe Lecoutre, Stéphane Cardon, A greedy approach to establish Singleton Arc Concistency in 19th International Joint Conference on Artificial Intelligence(IJCAI'05),pp. 199-204, 2005.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Revision ordering heuristics for the Constraint Satisfaction Problem in 1st International Workshop on Constraint Propagation and Implementation,pp. 9-43, 2004.

1999 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Éric Grégoire, Fuzzy Hierarchies in International Workshop on Modelling and Solving Soft Constraint Problems, held with CP'09 (Soft'99),1999.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Determinacy induction by means of an abstract OLDT resolution in First International Workshop on Static Analysis (WSA'92),vol. Bigr, 1992.

Articles de conférences nationales

2022 Thibault Falque, Bertrand Mazure, Christophe Lecoutre, Karim Tabia, Optimisation du parking des avions à Paris Charles de Gaulle in 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,2022.

2022 Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Karim Tabia, Optimisation du parcage des avions à l'aéroport Paris Charles de Gaulle. in 17es Journées Francophones de Programmation par Contraintes (JFPC’22),2022.

2022 Christophe Lecoutre, About Modeling and Solving Combinatorial Constrained Problems (in Python) in 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,2022.

2021 Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Hugues Wattez, Descente Agressive de Borne en Optimisation sous Contraintes in 16èmes Journées Francophones de Programmation par Contraintes (JPFC'21),2021.

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.

2017 Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure, Combinaison de nogoods extraits au redémarrage in 13è Journées Francophone de Programmation par Contraintes (JFPC'17),pp. 55--64, 2017.

2016 Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schauss, Une heuristique de recherche par ordre de conflits pour des problèmes d'ordonnancement in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),pp. 225-226, 2016.

2016 Minh Thanh Khong, Christophe Lecoutre, Yves Deville, Pierre Schauss, Réification de contraintes tables in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),pp. 45-51, 2016.

2015 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, La contrainte Smart Table in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),pp. 214-215, 2015.

2014 Arnaud Malapert, Christophe Lecoutre, À propos de la bibliothèque de modèles XCSP in 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 337-340, 2014.

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

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Les contraintes table fragmentées : combiner la compression et la réduction tabulaire in 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 133-142, 2014.

2014 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, La domaine k-intercoherence aussi simplement que la coherence d'arc in 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 333-336, 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.

2013 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, STR et compression de contraintes tables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 143-146, 2013.

2013 Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel, Coherences de tuples pour WCSP in 9èmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 105-113, 2013.

2013 Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel, Extension des cohérences WCSP aux tuples in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 105-113, 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, Djamel-Eddine Dehani, Olivier Roussel, Substituabilité au voisinage pour le cadre WCSP in JFPC - Huitièmes Journées Francophones de Programmation par Contraintes - 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.

2011 Frederic 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, 2011.

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.

2008 Hachémi Bennaceur, Christophe Lecoutre, Olivier Roussel, Une technique de décomposition pour Max-CSP in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 219-226, 2008.

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.

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04),pp. 235-250, 2004.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Heuristiques de choix de variables dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04),pp. 91-105, 2004.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Au coeur de la consistance d'arc in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03),pp. 233-247, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Problèmes de satisfaction de contraintes aléatoires en intention in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03),pp. 249-262, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, De AC3 à AC7 in 12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC'03),Hermès, pp. 267-280, 2003.

2001 Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart, Abstraction de CSPs par regroupement général in 7èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'01),pp. 197-208, 2001.

2000 Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire, Un cadre d'abstraction appliqué aux problèmes de satisfaction de contraintes in Actes du Douzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2000),vol. 3, pp. 429-438, 2000.

1998 Frédéric Boussemart, Éric Grégoire, Christophe Lecoutre, Sylvain Merchez, Une approche souple pour résoudre des problèmes réels. Application au calcul du profil de réseaux d'assainissement in 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98),pp. 121-127, 1998.

1994 Christophe Lecoutre, Une interprétation abstraite en programmation logique avec contraintes in Actes des 3èmes journées Francophones sur la Programmation Logique (JFPL'94),1994.

1993 Christophe Lecoutre, Interprétation abstraite en programmation logique avec contraintes in Actes de journées du GDR Programmation,1993.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Termination induction by means of an abstract resolution with tabulation in Actes des Journées GROPLAN et GDR Programmation et outils de l'intelligence artificielle,1992.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Termination induction by means of an abstract OLDT resolution in Actes des 1ères Journées Francophones sur la Programmation Logique (JFPL'92),pp. 353-373, 1992.

1991 Christophe Lecoutre, Ph. Devienne, P Lebègue, Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite in Actes des Journées de travail sur la programmation équationnelle, fonctionnelle et logique (JTASPEFL),vol. Bigr, pp. 62-69, 1991.

Éditions d'actes de conférences

2010 Christophe Lecoutre, Actes des Sixièmes Journées Francophones de Programmation par Contraintes pas d'éditeur commercial, 2010.

2008 Marc-R.C. van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 3rd International Constraint Solver Competition (2008) pas d'éditeur commercial, 2008.

2008 Marc-R.C. van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 2nd International Constraint Solver Competition (2006) pas d'éditeur commercial, 2008.

2006 M. van Dongen, Christophe Lecoutre, Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation CPAI'06, 2006.

Éditions d'ouvrages

2009 Christophe Lecoutre, Constraint Networks: Techniques and Algorithms pp. 592, Wiley, 2009.

Chapitres d'ouvrages

2011 Christophe Lecoutre, Backtrack Search Techniques and Heuristics in Encyclopedia of Operations Research and Management Science,Wiley, 2011.

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

2007 M. van Dongen, Christophe Lecoutre, Constraint Propagation and Implementation in Trends in Constraint Programming,pp. 83-103, ISTE/Wiley, 2007.

Rapports techniques

2021 Christophe Lecoutre, Nicolas Szczepanski, PyCSP3: Modeling Combinatorial Constrained Problems in Python 2021.

2021 Frederic Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems 2021.

2021 Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems 2021.

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

2009 Christophe Lecoutre, Olivier Roussel, XML Representation of Constraint Networks: Format XCSP 2.1 2009.

2006 Christophe Lecoutre, Olivier Roussel, M. van Dongen, XML Representation of Constraint Networks: Format XCSP 2.0 2006.