Abstract Interpretation and Recursive Behaviour of Logic Programs. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (LOPSTR, 1991)

Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (JTASPEFT/WSA, 1991)

Termination induction by means of an abstract OLDT resolution. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (JFPL, 1992)

Une Interprétation abstraite en programmation logique avec contraintes. - Christophe Lecoutre (JFPLC, 1994)

A CSP Abstraction Framework. - Christophe Lecoutre; Sylvain Merchez; Frédéric Boussemart; Éric Grégoire (SARA, 2000)

AbsCon: A Prototype to Solve CSPs with Abstraction. - Sylvain Merchez; Christophe Lecoutre; Frédéric Boussemart (CP, 2001)

Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques. - Frédéric Boussemart; Guillaume Cavory; Christophe Lecoutre (SMC (2), 2002)

Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. - Christophe Lecoutre; Frédéric Boussemart; Fred Hemery (CP, 2003)

Implicit Random Constraint Satisfaction Problems. - Christophe Lecoutre; Frédéric Boussemart; Fred Hemery (ICTAI, 2003)

De AC3 à AC7. - Frédéric Boussemart; Fred Hemery; Christophe Lecoutre (Tech. Sci. Informatiques, 2003)

Support Inference for Generic Filtering. - Frédéric Boussemart; Fred Hemery; Christophe Lecoutre; Lakhdar Sais (CP, 2004)

Boosting Systematic Search by Weighting Constraints. - Frédéric Boussemart; Fred Hemery; Christophe Lecoutre; Lakhdar Sais (ECAI, 2004)

Backjump-Based Techniques versus Conflict-Directed Heuristics. - Christophe Lecoutre; Frédéric Boussemart; Fred Hemery (ICTAI, 2004)

A Greedy Approach to Establish Singleton Arc Consistency. - Christophe Lecoutre; Stéphane Cardon (IJCAI, 2005)

A Simple Model to Generate Hard Satisfiable Instances. - Ke Xu 001; Frédéric Boussemart; Fred Hemery; Christophe Lecoutre (IJCAI, 2005)

Generalized Arc Consistency for Positive Table Constraints. - Christophe Lecoutre; Radoslaw Szymanek (CP, 2006)

Extracting MUCs from Constraint Networks. - Fred Hemery; Christophe Lecoutre; Lakhdar Sais; Frédéric Boussemart (ECAI, 2006)

Last Conflict Based Reasoning. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (ECAI, 2006)

Abstraction de réseaux de contraintes. - Sylvain Merchez; Christophe Lecoutre; Frédéric Boussemart (Rev. d'Intelligence Artif., 2006)

Conservative Dual Consistency. - Christophe Lecoutre; Stéphane Cardon; Julien Vion (AAAI, 2007)

Transposition Tables for Constraint Satisfaction. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (AAAI, 2007)

Path Consistency by Dual Consistency. - Christophe Lecoutre; Stéphane Cardon; Julien Vion (CP, 2007)

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (CP, 2007)

A Study of Residual Supports in Arc Consistency. - Christophe Lecoutre; Fred Hemery (IJCAI, 2007)

Nogood Recording from Restarts. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (IJCAI, 2007)

Relaxation of Qualitative Constraint Networks. - Dominique D'Almeida; Jean-François Condotta; Christophe Lecoutre; Lakhdar Sais (SARA, 2007)

Random constraint satisfaction: Easy generation of hard (satisfiable) instances. - Ke Xu 001; Frédéric Boussemart; Fred Hemery; Christophe Lecoutre (Artif. Intell., 2007)

Recording and Minimizing Nogoods from Restarts. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (J. Satisf. Boolean Model. Comput., 2007)

Using SAT Encodings to Drive CSP Value Ordering Heuristics. - Christophe Lecoutre; Lakhdar Sais; Julien Vion (J. Satisf. Boolean Model. Comput., 2007)

Optimization of Simple Tabular Reduction for Table Constraints. - Christophe Lecoutre (CP, 2008)

A Decomposition Technique for Max-CSP. - Hachemi Bennaceur; Christophe Lecoutre; Olivier Roussel (ECAI, 2008)

Constraint-Level Advice for Shaving. - Radoslaw Szymanek; Christophe Lecoutre (ICLP, 2008)

Failed Value Consistencies for Constraint Satisfaction. - Christophe Lecoutre; Olivier Roussel (CP, 2009)

Lightweight Detection of Variable Symmetries for Constraint Satisfaction. - Christophe Lecoutre; Sébastien Tabary (ICTAI, 2009)

Reasoning from last conflict(s) in constraint programming. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (Artif. Intell., 2009)

XML Representation of Constraint Networks: Format XCSP 2.1 - Olivier Roussel; Christophe Lecoutre (CoRR, 2009)

A Class of df-Consistencies for Qualitative Constraint Networks. - Jean-François Condotta; Christophe Lecoutre (KR, 2010)

Promoting robust black-box solvers through competitions. - Christophe Lecoutre; Olivier Roussel; Marc R. C. van Dongen (Constraints An Int. J., 2010)

A Framework for Decision-Based Consistencies. - Jean-François Condotta; Christophe Lecoutre (CP, 2011)

Efficient algorithms for singleton arc consistency. - Christian Bessiere; Stéphane Cardon; Romuald Debruyne; Christophe Lecoutre (Constraints An Int. J., 2011)

STR2: optimized simple tabular reduction for table constraints. - Christophe Lecoutre (Constraints An Int. J., 2011)

Efficient Constraint Propagation for Graph Coloring. - Frédéric Boussemart; Fred Hemery; Christophe Lecoutre; Mouny Samy Modeliar (Electron. Notes Discret. Math., 2011)

Second-Order Consistencies. - Christophe Lecoutre; Stéphane Cardon; Julien Vion (J. Artif. Intell. Res., 2011)

Propagating Soft Table Constraints. - Christophe Lecoutre; Nicolas Paris; Olivier Roussel; Sébastien Tabary (CP, 2012)

WCSP Integration of Soft Neighborhood Substitutability. - Christophe Lecoutre; Olivier Roussel; Djamel E. Dehani (CP, 2012)

A Path-Optimal GAC Algorithm for Table Constraints. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (ECAI, 2012)

Extending STR to a Higher-Order Consistency. - Christophe Lecoutre; Anastasia Paparrizou; Kostas Stergiou 001 (AAAI, 2013)

Global Inverse Consistency for Interactive Constraint Satisfaction. - Christian Bessiere; Hélène Fargier; Christophe Lecoutre (CP, 2013)

Solving WCSP by Extraction of Minimal Unsatisfiable Cores. - Christophe Lecoutre; Nicolas Paris; Olivier Roussel; Sébastien Tabary (ICTAI, 2013)

Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. - Gilles Audemard; Christophe Lecoutre; Mouny Samy Modeliar; Gilles Goncalves; Daniel Cosmin Porumbel (CP, 2014)

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

Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. - Jean-Baptiste Mairy; Yves Deville; Christophe Lecoutre (CPAIOR, 2014)

Conflict Ordering Search for Scheduling Problems. - Steven Gay; Renaud Hartert; Christophe Lecoutre; Pierre Schaus (CP, 2015)

The Smart Table Constraint. - Jean-Baptiste Mairy; Yves Deville; Christophe Lecoutre (CPAIOR, 2015)

STR3: A path-optimal filtering algorithm for table constraints. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (Artif. Intell., 2015)

Improving the lower bound of simple tabular reduction. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (Constraints An Int. J., 2015)

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. - Jordan Demeulenaere; Renaud Hartert; Christophe Lecoutre; Guillaume Perez; Laurent Perron; Jean-Charles Régin; Pierre Schaus (CP, 2016)

Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes (Compilation of a Property Grammar for Syntactic Parsing through Constraint Optimisation). - Jean-Philippe Prost; Rémi Coletta; Christophe Lecoutre (JEP-TALN-RECITAL (Posters), 2016)

Computing and restoring global inverse consistency in interactive constraint satisfaction. - Christian Bessiere; Hélène Fargier; Christophe Lecoutre (Artif. Intell., 2016)

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems. - Frédéric Boussemart; Christophe Lecoutre; Cédric Piette (CoRR, 2016)

Extending Compact-Table to Negative and Short Tables. - Hélène Verhaeghe; Christophe Lecoutre; Pierre Schaus (AAAI, 2017)

Combining Nogoods in Restart-Based Search. - Gael Glorian; Frédéric Boussemart; Jean-Marie Lagniez; Christophe Lecoutre; Bertrand Mazure (CP, 2017)

Extending Compact-Table to Basic Smart Tables. - Hélène Verhaeghe; Christophe Lecoutre; Yves Deville; Pierre Schaus (CP, 2017)

Efficient Reification of Table Constraints. - Minh Thanh Khong; Yves Deville; Pierre Schaus; Christophe Lecoutre (ICTAI, 2017)

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. - Baudouin Le Charlier; Minh Thanh Khong; Christophe Lecoutre; Yves Deville (IJCAI, 2017)

Soft-Regular with a Prefix-Size Violation Measure. - Minh Thanh Khong; Christophe Lecoutre; Pierre Schaus; Yves Deville (CPAIOR, 2018)

Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. - Hélène Verhaeghe; Christophe Lecoutre; Pierre Schaus (IJCAI, 2018)

Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. - Hélène Verhaeghe; Christophe Lecoutre; Pierre Schaus (CPAIOR, 2019)

Refining Constraint Weighting. - Hugues Wattez; Christophe Lecoutre; Anastasia Paparrizou; Sébastien Tabary (ICTAI, 2019)

Proceedings of the 2018 XCSP3 Competition. - Christophe Lecoutre; Olivier Roussel (CoRR, 2019)

Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning. - Gilles Audemard; Christophe Lecoutre; Mehdi Maamar (ECAI, 2020)

Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. - Hugues Wattez; Frédéric Koriche; Christophe Lecoutre; Anastasia Paparrizou; Sébastien Tabary (ECAI, 2020)

NACRE - A Nogood And Clause Reasoning Engine. - Gael Glorian; Jean-Marie Lagniez; Christophe Lecoutre (LPAR, 2020)

XCSP3 and its ecosystem. - Gilles Audemard; Frédéric Boussemart; Christophe Lecoutre; Cédric Piette; Olivier Roussel (Constraints An Int. J., 2020)

PYCSP3: Modeling Combinatorial Constrained Problems in Python. - Christophe Lecoutre; Nicolas Szczepanski (CoRR, 2020)

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

A hybrid CP/MOLS approach for multi-objective imbalanced classification. - Nicolas Szczepanski; Gilles Audemard; Laetitia Jourdan; Christophe Lecoutre; Lucien Mousin; Nadarajen Veerapen (GECCO, 2021)

Best Heuristic Identification for Constraint Satisfaction. - Frédéric Koriche; Christophe Lecoutre; Anastasia Paparrizou; Hugues Wattez (IJCAI, 2022)

Proceedings of the 2022 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2022)

Guiding Backtrack Search by Tracking Variables During Constraint Propagation. - Gilles Audemard; Christophe Lecoutre; Charles Prud'homme (CP, 2023)

ACE, a generic constraint solver. - Christophe Lecoutre (CoRR, 2023)

Proceedings of the 2023 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2023)

Applications of Artificial Intelligence in Cross Docking: A Systematic Literature Review. - Amna Altaf; Adnen El-Amraoui; François Delmotte; Christophe Lecoutre (J. Comput. Inf. Syst., 2023)

Check-In Desk Scheduling Optimisation at CDG International Airport. - Thibault Falque; Gilles Audemard; Christophe Lecoutre; Bertrand Mazure (AAAI, 2024)

Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. - Duc Anh Le; Stéphanie Roussel 001; Christophe Lecoutre; Anouck Chan (CP, 2024)

Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. - Thibault Falque; Christophe Lecoutre; Bertrand Mazure; Romain Wallon (ICAART (3), 2024)

Proceedings of the 2024 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2024)

Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: A Constraint Programming Approach. - Duc Anh Le; Stéphanie Roussel 001; Christophe Lecoutre (CP, 2025)