Publications in Journals and International Conferences
2022
-
An Efficient Approach to Data Transfer Scheduling for Long Range Space Exploration
Emmanuel Hebrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve Chien and Gregg Adrien Maillard.
IJCAI
-
Complexity of Minimum-Size Arc-Inconsistency Explanations
Christian bessiere, Clément Carbonnel, Martin Cooper and Emmanuel Hebrard.
CP
-
MurTree: Optimal Decision Trees via Dynamic Programming and Search
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao and Peter Stuckey.
Journal of Machine Learning Research
2021
-
On How Turing and Singleton Arc Consistency Broke the Enigma Code
Valentin Antuori, Tom Portoleau, Louis Rivière and Emmanuel Hebrard.
CP
-
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem
Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui and Alain Nguyen.
CP
2020
-
Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost
Hao Hu, Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet.
IJCAI
-
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources
Arthur Godet, Xavier Lorca, Emmanuel Hebrard and Gilles Simonin.
AAAI
-
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing
Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui and Alain Nguyen.
CP
-
Towards Formal Fairness in Machine Learning
Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hebrard and João Marques-Silva.
CP
-
Constraint and Satisfiability Reasoning for Graph Coloring
Emmanuel Hebrard and George Katsirelos.
Journal of Artificial Intelligence Research
-
2019
-
A Hybrid Approach for Exact Coloring of Massive Graphs
Emmanuel Hebrard and George Katsirelos.
CPAIOR
2018
-
-
Conflict Directed Clause Learning for Maximum Weighted Clique Problem
Emmanuel Hebrard and George Katsirelos.
IJCAI
-
2017
-
-
Constraint programming for planning test campaigns of communications satellites
Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Sauvan and Bertrand Cabon.
Constraints
-
2016
-
Ranking Constraints
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan and Toby Walsh.
IJCAI
-
Propagation via Kernelization: The Vertex Cover Constraint
Clément Carbonnel and Emmanuel Hebrard.
CP
2015
-
Reasoning about Connectivity Constraints
Christian Bessiere, Emmanuel Hebrard, George Katsirelos and Toby Walsh.
IJCAI
-
Two Clause Learning Approaches for Disjunctive Scheduling
Mohamed Siala, Christian Artigues and Emmanuel Hebrard.
CP
-
Scheduling scientific experiments for comet exploration
Gilles Simonin, Christian Artigues, Emmanuel Hebrard and Pierre Lopez.
Constraints
-
Solving Variants of the Job Shop Scheduling Problem Through Conflict-Directed Search
Diarmuid Grimes and Emmanuel Hebrard.
INFORMS Journal on Computing
2014
-
Satellite Data Download Management with Uncertainty about the Generated Volumes
Cédric Pralet, Gérard Verfaillie, Adrien Maillard, Emmanuel Hebrard, Nicolas Jozefowiez, Marie-José Huguet, Thierry Desmousceaux, Pierre Blanc-Paques and Jean Jaubert.
ICAPS
-
On Backdoors to Tractable Constraint Languages
Clément Carbonnel, Martin Cooper and Emmanuel Hebrard.
CP
-
The Balance Constraint Family
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper and Toby Walsh.
CP
-
An optimal arc consistency algorithm for a particular case of sequence constraint
Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet.
Constraints
-
SAT and Hybrid Models of the Car Sequencing Problem
Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala and Toby Walsh.
CPAIOR
-
Buffered Resource Constraint: Algorithms and Complexity
Christian Bessiere, Emmanuel Hebrard, Marc-André Ménard, Claude-Guy Quimper and Toby Walsh.
CPAIOR
2013
-
Detecting and Exploiting Subproblem Tractability
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos and Toby Walsh.
IJCAI
-
Constraint Acquisition via Partial Queries
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper and Toby Walsh.
IJCAI
2012
-
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality
Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet.
CP
-
Scheduling Scientific Experiments on the Rosetta/Philae Mission
Gilles Simonin, Christian Artigues, Emmanuel Hebrard and Pierre Lopez.
CP
-
Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem
Jean-Charles Billaut, Emmanuel Hebrard and Pierre Lopez.
CPAIOR
2011
-
Models and Strategies for Variants of the Job Shop Scheduling Problem
Diarmuid Grimes and Emmanuel Hebrard.
CP
-
Soft Constraints of Difference and Equality
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan and Igor Razgon.
Journal of Artificial Intelligence Research
2010
-
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
Diarmuid Grimes and Emmanuel Hebrard.
CPAIOR
-
Constraint Programming and Combinatorial Optimisation in Numberjack
Emmanuel Hebrard, Eoin O'Mahony and Barry O'Sullivan.
CPAIOR
2009
-
Minimising Decision Tree Size as Combinatorial Optimisation
Christian Bessiere, Emmanuel Hebrard and Barry O'Sullivan.
CP
-
Closing the Open Shop: Contradicting Conventional Wisdom
Diarmuid Grimes, Emmanuel Hebrard and Arnaud Malapert.
CP
-
Constraints of Difference and Equality: A Complete Taxonomic Characterisation
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan and Igor Razgon.
CP
-
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
Artificial Intelligence
2008
-
The Parameterized Complexity of Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper and Toby Walsh.
AAAI
-
SLIDE: A Useful Special Case of the CARDPATH Constraint
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
ECAI
-
A Soft Constraint of Equality: Complexity and Approximability
Emmanuel Hebrard, Barry O'Sullivan and Igor Razgon.
CP
2007
-
Distance Constraints in Constraint Satisfaction
Emmanuel Hebrard, Barry O'Sullivan and Toby Walsh.
IJCAI
-
The Complexity of Reasoning with Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh.
Constraints
2006
-
The ROOTS Constraint
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
CP
-
Filtering Algorithms for the NValueConstraint
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
Constraints
-
The Range Constraint: Algorithms and Implementation
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
CPAIOR
2005
-
The Range and Roots Constraints: Specifying Counting and Occurrence Problems
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
IJCAI
-
Finding Diverse and Similar Solutions in Constraint Programming
Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan and Toby Walsh.
AAAI
-
Filtering Algorithms for the NValue Constraint
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
CPAIOR
2004
-
The Complexity of Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh.
AAAI
-
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh.
CP
-
The Tractability of Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh.
CP
-