Christophe Lecoutre

99 papers A* 14A 28B 13C 1Journal 33Unranked 10

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