Christophe Lecoutre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
14
Active years
1991–2026
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Aperiodic Tiling and Rhythmic Canons: A CP Journey. | Guillaume Derval, Christophe Lecoutre |
| 2025 | CP | Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: A Constraint Programming Approach. | Duc Anh Le, Stphanie Roussel, Christophe Lecoutre |
| 2024 | AAAI | Check-In Desk Scheduling Optimisation at CDG International Airport. | Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure |
| 2024 | CP | Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. | Duc Anh Le, Stphanie Roussel, Christophe Lecoutre, Anouck Chan |
| 2024 | ICAART | Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. | Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon |
| 2023 | CP | Guiding Backtrack Search by Tracking Variables During Constraint Propagation. | Gilles Audemard, Christophe Lecoutre, Charles Prud'homme |
| 2022 | IJCAI | Best Heuristic Identification for Constraint Satisfaction. | Frdric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez |
| 2021 | GECCO | A hybrid CP/MOLS approach for multi-objective imbalanced classification. | Nicolas Szczepanski, Gilles Audemard, Laetitia Jourdan, Christophe Lecoutre, Lucien Mousin, Nadarajen Veerapen |
| 2020 | ECAI | Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning. | Gilles Audemard, Christophe Lecoutre, Mehdi Maamar |
| 2020 | ECAI | Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. | Hugues Wattez, Frdric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sbastien Tabary |
| 2020 | LPAR | NACRE - A Nogood And Clause Reasoning Engine. | Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
| 2019 | CPAIOR | Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2019 | ICTAI | Refining Constraint Weighting. | Hugues Wattez, Christophe Lecoutre, Anastasia Paparrizou, Sbastien Tabary |
| 2018 | CPAIOR | Soft-Regular with a Prefix-Size Violation Measure. | Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville |
| 2018 | IJCAI | Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | AAAI | Extending Compact-Table to Negative and Short Tables. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | CP | Combining Nogoods in Restart-Based Search. | Gael Glorian, Frdric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
| 2017 | CP | Extending Compact-Table to Basic Smart Tables. | Hlne Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
| 2017 | IJCAI | Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. | Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville |
| 2017 | ICTAI | Efficient Reification of Table Constraints. | Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre |
| 2016 | CP | Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. | Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Rgin, Pierre Schaus |
| 2015 | CP | Conflict Ordering Search for Scheduling Problems. | Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus |
| 2015 | CPAIOR | The Smart Table Constraint. | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
| 2014 | CP | Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. | Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel |
| 2014 | CPAIOR | Sliced Table Constraints: Combining Compression and Tabular Reduction. | Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel |
| 2014 | CPAIOR | Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
| 2013 | AAAI | Extending STR to a Higher-Order Consistency. | Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou |
| 2013 | CP | Global Inverse Consistency for Interactive Constraint Satisfaction. | Christian Bessiere, Hlne Fargier, Christophe Lecoutre |
| 2013 | ICTAI | Solving WCSP by Extraction of Minimal Unsatisfiable Cores. | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary |
| 2012 | CP | Propagating Soft Table Constraints. | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary |
| 2012 | CP | WCSP Integration of Soft Neighborhood Substitutability. | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
| 2012 | ECAI | A Path-Optimal GAC Algorithm for Table Constraints. | Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap |
| 2011 | CP | A Framework for Decision-Based Consistencies. | Jean-Franois Condotta, Christophe Lecoutre |
| 2010 | KR | A Class of df-Consistencies for Qualitative Constraint Networks. | Jean-Franois Condotta, Christophe Lecoutre |
| 2009 | CP | Failed Value Consistencies for Constraint Satisfaction. | Christophe Lecoutre, Olivier Roussel |
| 2009 | ICTAI | Lightweight Detection of Variable Symmetries for Constraint Satisfaction. | Christophe Lecoutre, Sbastien Tabary |
| 2008 | CP | Optimization of Simple Tabular Reduction for Table Constraints. | Christophe Lecoutre |
| 2008 | ECAI | A Decomposition Technique for Max-CSP. | Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel |
| 2008 | ICLP | Constraint-Level Advice for Shaving. | Radoslaw Szymanek, Christophe Lecoutre |
| 2007 | AAAI | Conservative Dual Consistency. | Christophe Lecoutre, Stphane Cardon, Julien Vion |
| 2007 | AAAI | Transposition Tables for Constraint Satisfaction. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | CP | Path Consistency by Dual Consistency. | Christophe Lecoutre, Stphane Cardon, Julien Vion |
| 2007 | CP | Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | IJCAI | A Study of Residual Supports in Arc Consistency. | Christophe Lecoutre, Fred Hemery |
| 2007 | IJCAI | Nogood Recording from Restarts. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2006 | CP | Generalized Arc Consistency for Positive Table Constraints. | Christophe Lecoutre, Radoslaw Szymanek |
| 2006 | ECAI | Extracting MUCs from Constraint Networks. | Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frdric Boussemart |
| 2006 | ECAI | Last Conflict Based Reasoning. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2005 | IJCAI | A Greedy Approach to Establish Singleton Arc Consistency. | Christophe Lecoutre, Stphane Cardon |
| 2005 | IJCAI | A Simple Model to Generate Hard Satisfiable Instances. | Ke Xu, Frdric Boussemart, Fred Hemery, Christophe Lecoutre |
| 2004 | CP | Support Inference for Generic Filtering. | Frdric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
| 2004 | ECAI | Boosting Systematic Search by Weighting Constraints. | Frdric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
| 2004 | ICTAI | Backjump-Based Techniques versus Conflict-Directed Heuristics. | Christophe Lecoutre, Frdric Boussemart, Fred Hemery |
| 2003 | CP | Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. | Christophe Lecoutre, Frdric Boussemart, Fred Hemery |
| 2003 | ICTAI | Implicit Random Constraint Satisfaction Problems. | Christophe Lecoutre, Frdric Boussemart, Fred Hemery |
| 2002 | SMC | Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques. | Frdric Boussemart, Guillaume Cavory, Christophe Lecoutre |
| 2001 | CP | AbsCon: A Prototype to Solve CSPs with Abstraction. | Sylvain Merchez, Christophe Lecoutre, Frdric Boussemart |
| 1991 | LOPSTR | Abstract Interpretation and Recursive Behaviour of Logic Programs. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Une analyse du comportement rcursif de programmes Prolog par une interprtation abstraite. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |