Christophe Lecoutre

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 30

Top Topics

Learning Effect

Constrained Problems

Inverse Consistency

Constraint Satisfaction

Top Venues

Publications

Duc Anh Le, Stéphanie Roussel, Christophe Lecoutre, Anouck Chan
Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. CP (2024)
Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure
Check-In Desk Scheduling Optimisation at CDG International Airport. AAAI (2024)
Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon
Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. ICAART (3) (2024)
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
Proceedings of the 2023 XCSP3 Competition. CoRR (2023)
Christophe Lecoutre
ACE, a generic constraint solver. CoRR (2023)
Gilles Audemard, Christophe Lecoutre, Charles Prud'homme
Guiding Backtrack Search by Tracking Variables During Constraint Propagation. CP (2023)
Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez
Best Heuristic Identification for Constraint Satisfaction. IJCAI (2022)
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
Proceedings of the 2022 XCSP3 Competition. CoRR (2022)
Nicolas Szczepanski, Gilles Audemard, Laetitia Jourdan, Christophe Lecoutre, Lucien Mousin, Nadarajen Veerapen
A hybrid CP/MOLS approach for multi-objective imbalanced classification. GECCO (2021)
Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems. CoRR (2020)
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
and its ecosystem. Constraints An Int. J. 25 (1-2) (2020)
Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre
NACRE - A Nogood And Clause Reasoning Engine. LPAR (2020)
Christophe Lecoutre, Nicolas Szczepanski
PYCSP3: Modeling Combinatorial Constrained Problems in Python. CoRR (2020)
Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary
Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. ECAI (2020)
Gilles Audemard, Christophe Lecoutre, Mehdi Maamar
Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning. ECAI (2020)
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. CPAIOR (2019)
Christophe Lecoutre, Olivier Roussel
Proceedings of the 2018 XCSP3 Competition. CoRR (2019)
Hugues Wattez, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary
Refining Constraint Weighting. ICTAI (2019)
Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville
Soft-Regular with a Prefix-Size Violation Measure. CPAIOR (2018)
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. IJCAI (2018)
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
Extending Compact-Table to Negative and Short Tables. AAAI (2017)
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
Combining Nogoods in Restart-Based Search. CP (2017)
Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
Extending Compact-Table to Basic Smart Tables. CP (2017)
Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre
Efficient Reification of Table Constraints. ICTAI (2017)
Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. IJCAI (2017)
Frédéric Boussemart, Christophe Lecoutre, Cédric Piette
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems. CoRR (2016)
Jean-Philippe Prost, Rémi Coletta, Christophe Lecoutre
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). JEP-TALN-RECITAL (Posters) (2016)
Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. CP (2016)
Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. CoRR (2016)
Christian Bessiere, Hélène Fargier, Christophe Lecoutre
Computing and restoring global inverse consistency in interactive constraint satisfaction. Artif. Intell. 241 (2016)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
STR3: A path-optimal filtering algorithm for table constraints. Artif. Intell. 220 (2015)
Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
The Smart Table Constraint. CPAIOR (2015)
Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus
Conflict Ordering Search for Scheduling Problems. CP (2015)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
Improving the lower bound of simple tabular reduction. Constraints An Int. J. 20 (1) (2015)
Christophe Lecoutre, Stéphane Cardon, Julien Vion
Second-Order Consistencies. CoRR (2014)
Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel
Sliced Table Constraints: Combining Compression and Tabular Reduction. CPAIOR (2014)
Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. CPAIOR (2014)
Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel
Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. CP (2014)
Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou
Extending STR to a Higher-Order Consistency. AAAI (2013)
Christian Bessiere, Hélène Fargier, Christophe Lecoutre
Global Inverse Consistency for Interactive Constraint Satisfaction. CP (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores CoRR (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. ICTAI (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Propagating Soft Table Constraints. CP (2012)
Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani
WCSP Integration of Soft Neighborhood Substitutability. CP (2012)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
A Path-Optimal GAC Algorithm for Table Constraints. ECAI (2012)
Jean-François Condotta, Christophe Lecoutre
A Framework for Decision-Based Consistencies. CP (2011)
Christophe Lecoutre
STR2: optimized simple tabular reduction for table constraints. Constraints An Int. J. 16 (4) (2011)
Christophe Lecoutre, Stéphane Cardon, Julien Vion
Second-Order Consistencies. J. Artif. Intell. Res. 40 (2011)
Christian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre
Efficient algorithms for singleton arc consistency. Constraints An Int. J. 16 (1) (2011)
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar
Efficient Constraint Propagation for Graph Coloring. Electron. Notes Discret. Math. 37 (2011)
Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen
Promoting robust black-box solvers through competitions. Constraints An Int. J. 15 (3) (2010)
Jean-François Condotta, Christophe Lecoutre
A Class of df-Consistencies for Qualitative Constraint Networks. KR (2010)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Reasoning from last conflict(s) in constraint programming. Artif. Intell. 173 (18) (2009)
Christophe Lecoutre, Olivier Roussel
Failed Value Consistencies for Constraint Satisfaction. CP (2009)
Olivier Roussel, Christophe Lecoutre
XML Representation of Constraint Networks: Format XCSP 2.1 CoRR (2009)
Christophe Lecoutre, Sébastien Tabary
Lightweight Detection of Variable Symmetries for Constraint Satisfaction. ICTAI (2009)
Christophe Lecoutre
Optimization of Simple Tabular Reduction for Table Constraints. CP (2008)
Radoslaw Szymanek, Christophe Lecoutre
Constraint-Level Advice for Shaving. ICLP (2008)
Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel
A Decomposition Technique for Max-CSP. ECAI (2008)
Christophe Lecoutre, Stéphane Cardon, Julien Vion
Path Consistency by Dual Consistency. CP (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP (2007)
Christophe Lecoutre, Fred Hemery
A Study of Residual Supports in Arc Consistency. IJCAI (2007)
Christophe Lecoutre, Stéphane Cardon, Julien Vion
Conservative Dual Consistency. AAAI (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Transposition Tables for Constraint Satisfaction. AAAI (2007)
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
Random constraint satisfaction: Easy generation of hard (satisfiable) instances. Artif. Intell. 171 (8-9) (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Nogood Recording from Restarts. IJCAI (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Recording and Minimizing Nogoods from Restarts. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Christophe Lecoutre, Lakhdar Sais, Julien Vion
Using SAT Encodings to Drive CSP Value Ordering Heuristics. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais
Relaxation of Qualitative Constraint Networks. SARA (2007)
Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart
Abstraction de réseaux de contraintes. Rev. d'Intelligence Artif. 20 (1) (2006)
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart
Extracting MUCs from Constraint Networks. ECAI (2006)
Christophe Lecoutre, Radoslaw Szymanek
Generalized Arc Consistency for Positive Table Constraints. CP (2006)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Last Conflict Based Reasoning. ECAI (2006)
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
A Simple Model to Generate Hard Satisfiable Instances CoRR (2005)
Christophe Lecoutre, Stéphane Cardon
A Greedy Approach to Establish Singleton Arc Consistency. IJCAI (2005)
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
A Simple Model to Generate Hard Satisfiable Instances. IJCAI (2005)
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
Backjump-Based Techniques versus Conflict-Directed Heuristics. ICTAI (2004)
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
Boosting Systematic Search by Weighting Constraints. ECAI (2004)
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
Support Inference for Generic Filtering. CP (2004)
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
De AC3 à AC7. Tech. Sci. Informatiques 22 (1) (2003)
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
De AC3 à AC7. JFPLC (2003)
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. CP (2003)
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
Implicit Random Constraint Satisfaction Problems. ICTAI (2003)
Frédéric Boussemart, Guillaume Cavory, Christophe Lecoutre
Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques. SMC (2) (2002)
Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart
AbsCon: A Prototype to Solve CSPs with Abstraction. CP (2001)
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
A CSP Abstraction Framework. SARA (2000)
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
A CSP Abstraction Framework. SARA (2000)
Christophe Lecoutre
Une Interprétation abstraite en programmation logique avec contraintes. JFPLC (1994)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Termination induction by means of an abstract OLDT resolution. JFPL (1992)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA (1991)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Abstract Interpretation and Recursive Behaviour of Logic Programs. LOPSTR (1991)