Christophe Lecoutre

Orcid: 0000-0002-2205-6545

According to our database1, Christophe Lecoutre authored at least 85 papers between 1991 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Check-In Desk Scheduling Optimisation at CDG International Airport.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Proceedings of the 2023 XCSP3 Competition.
CoRR, 2023

ACE, a generic constraint solver.
CoRR, 2023

Guiding Backtrack Search by Tracking Variables During Constraint Propagation.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022
Proceedings of the 2022 XCSP3 Competition.
CoRR, 2022

Best Heuristic Identification for Constraint Satisfaction.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
A hybrid CP/MOLS approach for multi-objective imbalanced classification.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.
CoRR, 2020

PYCSP3: Modeling Combinatorial Constrained Problems in Python.
CoRR, 2020

XCSP<sup>3</sup> and its ecosystem.
Constraints An Int. J., 2020

NACRE - A Nogood And Clause Reasoning Engine.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Proceedings of the 2018 XCSP3 Competition.
CoRR, 2019

Refining Constraint Weighting.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Soft-Regular with a Prefix-Size Violation Measure.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Efficient Reification of Table Constraints.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Extending Compact-Table to Basic Smart Tables.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Combining Nogoods in Restart-Based Search.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Extending Compact-Table to Negative and Short Tables.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.
CoRR, 2016

Computing and restoring global inverse consistency in interactive constraint satisfaction.
Artif. Intell., 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).
Proceedings of the Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 2 : TALN (Posters), 2016

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Improving the lower bound of simple tabular reduction.
Constraints An Int. J., 2015

STR3: A path-optimal filtering algorithm for table constraints.
Artif. Intell., 2015

The Smart Table Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Conflict Ordering Search for Scheduling Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Sliced Table Constraints: Combining Compression and Tabular Reduction.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
Solving WCSP by Extraction of Minimal Unsatisfiable Cores.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Global Inverse Consistency for Interactive Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Extending STR to a Higher-Order Consistency.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
A Path-Optimal GAC Algorithm for Table Constraints.
Proceedings of the ECAI 2012, 2012

WCSP Integration of Soft Neighborhood Substitutability.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Propagating Soft Table Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Second-Order Consistencies.
J. Artif. Intell. Res., 2011

Efficient Constraint Propagation for Graph Coloring.
Electron. Notes Discret. Math., 2011

STR2: optimized simple tabular reduction for table constraints.
Constraints An Int. J., 2011

Efficient algorithms for singleton arc consistency.
Constraints An Int. J., 2011

A Framework for Decision-Based Consistencies.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Promoting robust black-box solvers through competitions.
Constraints An Int. J., 2010

A Class of df-Consistencies for Qualitative Constraint Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009
XML Representation of Constraint Networks: Format XCSP 2.1
CoRR, 2009

Reasoning from last conflict(s) in constraint programming.
Artif. Intell., 2009

Lightweight Detection of Variable Symmetries for Constraint Satisfaction.
Proceedings of the ICTAI 2009, 2009

Failed Value Consistencies for Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Constraint-Level Advice for Shaving.
Proceedings of the Logic Programming, 24th International Conference, 2008

A Decomposition Technique for Max-CSP.
Proceedings of the ECAI 2008, 2008

Optimization of Simple Tabular Reduction for Table Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Using SAT Encodings to Drive CSP Value Ordering Heuristics.
J. Satisf. Boolean Model. Comput., 2007

Recording and Minimizing Nogoods from Restarts.
J. Satisf. Boolean Model. Comput., 2007

Random constraint satisfaction: Easy generation of hard (satisfiable) instances.
Artif. Intell., 2007

Relaxation of Qualitative Constraint Networks.
Proceedings of the Abstraction, 2007

Nogood Recording from Restarts.
Proceedings of the IJCAI 2007, 2007

A Study of Residual Supports in Arc Consistency.
Proceedings of the IJCAI 2007, 2007

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Path Consistency by Dual Consistency.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Transposition Tables for Constraint Satisfaction.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Conservative Dual Consistency.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Abstraction de réseaux de contraintes.
Rev. d'Intelligence Artif., 2006

Last Conflict Based Reasoning.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Extracting MUCs from Constraint Networks.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Generalized Arc Consistency for Positive Table Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
A Simple Model to Generate Hard Satisfiable Instances.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Greedy Approach to Establish Singleton Arc Consistency.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
Backjump-Based Techniques versus Conflict-Directed Heuristics.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Boosting Systematic Search by Weighting Constraints.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Support Inference for Generic Filtering.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
De AC3 à AC7.
Tech. Sci. Informatiques, 2003

Implicit Random Constraint Satisfaction Problems.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2001
AbsCon: A Prototype to Solve CSPs with Abstraction.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
A CSP Abstraction Framework.
Proceedings of the Abstraction, 2000

1994
Une Interprétation abstraite en programmation logique avec contraintes.
Proceedings of the JFPLC'94, 1994

1992
Termination induction by means of an abstract OLDT resolution.
Proceedings of the JFPL'92, 1992

1991
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Abstract Interpretation and Recursive Behaviour of Logic Programs.
Proceedings of the Logic Program Synthesis and Transformation, 1991


  Loading...