Emmanuel Hebrard
- Laboratoire d'analyse et d'architecture des systèmes (LAAS)
- Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC)
Publications
Publications
|
|
Bilan et prospectives 2025 du département Décision & Optimisation du LAAS-CNRSLAAS-CNRS. 2026 |
|
|
Scheduling Data Transfers in Space Missions with Priorities and Interruptions: Technical ReportLAAS - CNRS; IRAP. 2025 |
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS2019 |
Characterizing Decomposable and Global Constraints[Research Report] 05053, LIRMM. 2005, pp.12 |
|
|
Scheduling Data Transfer with Priorities and Interruptions for Space MissionsInternational Workshop on Planning and Scheduling for Space, Apr 2025, Toulouse, France |
|
|
Disjunctive Scheduling in TempoThe 31st International Conference on Principles and Practice of Constraint Programming, Aug 2025, Glasgow, United Kingdom |
|
|
Integer and Constraint Programming for the Offline Nanosatellite Partition Scheduling Problem22th International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2025), Melbourne (Australia), November 10-13, 2025., Nov 2025, Melbourne, Australia |
|
|
Solving the Agile Earth Observation Satellite Scheduling Problem with CP and Local Search31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Edimburgh, Scotland, United Kingdom. pp.3:1-3:22, ⟨10.4230/LIPIcs.CP.2025.3⟩ |
|
|
Understanding the Impact of Value Selection Heuristics in Scheduling ProblemsInternational Conference on Principles and Practice of Constraint Programming (CP-25), Aug 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.CP.2025.27⟩ |
|
|
A Stable-Set-Based Move to Solve an Agile Earth Observation Satellite Scheduling Problem with a Local Search25ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2024), Mar 2024, Amiens, France. https://roadef2024.sciencesconf.org/511480 |
|
|
Scheduling onboard tasks of the NIMPH nanosatellite13th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2024, Rome, Italy |
|
|
Global constraints for scheduling data transfer in space missions13th International Workshop on Planning and Scheduling for Space (IWPSS 2023), Steve Chien, Juan Manuel Delfa and Tiago Stegun Vaquero, Jul 2023, Prague, Czech Republic. pp.93-95 |
|
|
Blossom: an Anytime Algorithm for Computing Optimal Decision TreesInternational Conference on Machine Learning, Jul 2023, Honolulu, United States |
|
|
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling29th International Conference on Principles and Practice of Constraint Programming, Aug 2023, Toronto ( CA ), Canada. pp.19, ⟨10.4230/LIPIcs.CP.2023.19⟩ |
|
|
Une contrainte globale pour l'ordonnancement des transferts de données dans les missions spatialesJournées Francophones de Programmation par Contraintes (JFPC 2023), Jul 2023, Strasbourg, France. pp.115-119 |
|
|
An Efficient Approach to Data Transfer Scheduling for Long Range Space ExplorationThe 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Jul 2022, Vienna, Austria. pp.4635-4641, ⟨10.24963/ijcai.2022/643⟩ |
|
|
Complexity of Minimum-Size Arc-Inconsistency ExplanationsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩ |
|
|
Data transfer scheduling for deep space explorationThe 15th Workshop on Models and Algorithms for Planning and Scheduling 2022 (MAPSP 2022), Jun 2022, Oropa (Biella), Italy |
|
|
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling ProblemInternational Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier (on line), France. ⟨10.4230/LIPIcs.CP.2021.14⟩ |
|
|
Étude de méthodes arborescentes de Monte-Carlo pour un problème de déplacement de pièces dans un atelier d'assemblageRencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'21) Plate-Forme Intelligence Artificielle (PFIA'21), Jul 2021, Bordeaux, France. pp.7-13 |
|
|
Multi-Mode RCPSP with Safety Margin Maximization: Models and Algorithms10th International Conference on Operations Research and Enterprise Systems, Feb 2021, Online Streaming, Austria. pp.129-136, ⟨10.5220/0010190101290136⟩ |
|
|
On How Turing and Singleton Arc Consistency Broke the Enigma Code27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.13⟩ |
|
|
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car ManufacturingPrinciples and Practice of Constraint Programming. CP 2020, Sep 2020, Louvain La Neuve, Belgium. pp.657-672, ⟨10.1007/978-3-030-58475-7_38⟩ |
|
|
Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoostIJCAI-PRICAI 2020, 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan |
|
|
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit ResourcesThirty-Fourth AAAI Conferance on Artificial Intelligence (AAAI'20), Feb 2020, New-York, United States. pp.1512-1519, ⟨10.1609/aaai.v34i02.5510⟩ |
|
|
A constraint programming approach for planning items transportation in a workshop context17th International Conference on Project Management and Scheduling (PMS 2020), Apr 2020, Toulouse, France |
|
|
Towards Formal Fairness in Machine Learning26th International Conference on Principles and Practice of Constraint Programming (CP 2020), Sep 2020, Louvain (online), Belgium. pp.846-867, ⟨10.1007/978-3-030-58475-7_49⟩ |
|
|
A Hybrid Approach for Exact Coloring of Massive GraphsSixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Jun 2019, Thessaloniki, Greece |
|
|
Models and Algorithms for Natural Disaster Evacuation Problems14th Federated Conference on Computer Science and Information Systems 2019, Sep 2019, Leipzig, Germany. pp.143-146, ⟨10.15439/2019F90⟩ |
|
|
MODELS AND ALGORITHMS FOR EVACUATION PLANNING FOR WILDFIRESGEO-SAFE Wildfire Conference, Nov 2019, Melbourne, Australia |
|
|
Clause Learning and New Bounds for Graph ColoringInternational Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. 17p |
|
|
Reasoning About NP-complete Constraints27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 5p |
|
|
A Study of Evacuation Planning for WildfiresThe Seventeenth International Workshop on Constraint Modelling and Reformulation (ModRef 2018), Aug 2018, Lille, France. 17p |
|
|
Conflict Directed Clause Learning for the Maximum Weighted Clique Problem27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p |
|
|
Data Instance generator and optimization models for evacuation planning in the event of wildfireGEOSAFE Workshop on Robust Solutions for Fire Fighting (RSFF 2018), Jul 2018, L'Aquila, Italy. pp.75-86 |
|
|
Algorithme d’approximation pour un problème d’affectation d’une commande multiproduit multifournisseur12ème Conférence Internationale de MOdélisation, Optimisation et SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 7p |
|
|
Conflict directed clause learning for maximum weighted clique problemIJCAI 2018 27. International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. ⟨10.24963/ijcai.2018/183⟩ |
|
|
On the Kernelization of Global ConstraintsInternational Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. 7p |
|
|
Contraintes de ClassementJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-mer, France. pp.89-90 |
|
|
Explanation-Based Weighted DegreeCPAIOR, Jun 2017, Padoue, Italy. 9p |
|
|
Propagation via Kernelization: The Vertex Cover ConstraintThe 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.147 - 156, ⟨10.1007/978-3-319-44953-1_10⟩ |
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. pp.705-711 |
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574 |
|
|
Two Clause Learning Approaches for Disjunctive SchedulingPrinciples and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.393-402, ⟨10.1007/978-3-319-23219-5_28⟩ |
|
|
HEURISTIC METHODS FOR TEST SEQUENCING IN TELECOMMUNICATION SATELLITESMOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France |
|
|
The Balance Constraint FamilyCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189, ⟨10.1007/978-3-319-10428-7_15⟩ |
|
|
Acquisition de contraintes avec des requêtes partiellesJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France |
|
|
SAT and Hybrid Models of the Car Sequencing Problem11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014., May 2014, Cork, Ireland. pp.268-283, ⟨10.1007/978-3-319-07046-9_19⟩ |
Analyse de conflit non-standard pour résoudre le problème de Job-ShopROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France |
|
|
|
Gestion du vidage de données satellite avec incertitude sur les volumes10èmes Journées Francophones de Programmation par Contraintes - JFPC 2014, Jun 2014, Angers, France |
|
|
Reasoning about Constraint ModelsPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808, ⟨10.1007/978-3-319-13560-1_63⟩ |
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France |
|
Impact of magnetic field on radial velocity measurementsJournées SF2A 2014, SF2A, Jun 2014, Paris, France. pp.241 |
|
|
|
Satellite Data Download Management with Uncertainty about the Generated Volumes24th International Conference on Automated Planning and Scheduling (ICAPS), Jun 2014, Portsmouth, United States |
|
|
On Backdoors to Tractable Constraint LanguagesPrinciples and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.224-239, ⟨10.1007/978-3-319-10428-7_18⟩ |
|
|
Buffered Resource Constraint: Algorithms and ComplexityCPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. pp.318-333, ⟨10.1007/978-3-319-07046-9_23⟩ |
Tutoriel : The Thousand Faces of Constraint PropagationROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France |
|
|
|
Solving hard sequencing problems via the AtMostSeqCard constraintROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France |
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481 |
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474 |
|
|
Explaining the AtMostSeqCard constraintDoctoral Program Workshop at CP2013, Sep 2013, Uppsala, Sweden |
|
|
SAT and Hybrid models of the Car-Sequencing problemThird International Workshop on the Cross-Fertilization Between CSP and SAT, in conjunction with CP 2013, Sep 2013, Uppsala, Sweden |
|
|
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with CardinalityEighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.55-69, ⟨10.1007/978-3-642-33558-7_7⟩ |
|
|
Algorithme optimal d'arc-consistance pour une séquence de contraintes AtMost avec cardinalitéJFPC 2012, May 2012, Toulouse, France. 10 p |
|
|
Scheduling Scientific Experiments on the Rosetta/Philae MissionEighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.23-37, ⟨10.1007/978-3-642-33558-7_5⟩ |
|
|
Complete Characterization of $\epsilon$-approximate Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012), May 2012, Nantes, France. pp.66-80 |
|
|
Models and Strategies for Variants of the Job Shop Scheduling ProblemPrinciples and Practice of Constraint Programming - CP 2011, Sep 2011, Perugia, Italy. pp.356-372, ⟨10.1007/978-3-642-23786-7⟩ |
|
|
Job shop scheduling with setup times and maximal time-lags: A simple constraint programming approachCPAIOR, Jun 2010, Bologna, Italy. pp.147-161 |
|
|
Constraint Programming and Combinatorial Optimisation in NumberjackCPAIOR, Jun 2010, Bologna, Italy. pp.181-185 |
Closing the Open Shop: Contradicting Conventional WisdomPrinciples and Practice of Constraint Programming - CP 2009, Sep 2009, Lisbon, Portugal. pp.400-408, ⟨10.1007/978-3-642-04244-7_33⟩ |
|
|
|
Minimising Decision Tree Size as Combinatorial OptimisationCP: Principles and Practice of Constraint Programming, Sep 2009, Lisbon, Portugal. pp.173-187, ⟨10.1007/978-3-642-04244-7_16⟩ |
|
|
The Parameterized Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2008, Chicago, IL, United States. pp.235-240 |
|
|
SLIDE: A Useful Special Case of the CARDPATH ConstraintECAI: European Conference on Artificial Intelligence, Jul 2008, Patras, Greece. pp.475-479 |
|
|
Reformulating Global Constraints: The SLIDE and REGULAR ConstraintsSARA: Symposium on Abstraction, Reformulation, and Approximation, Jun 2007, Whistler, Canada. pp.80-92 |
|
|
The ROOTS ConstraintCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.75-90, ⟨10.1007/11889205_8⟩ |
|
|
The Range Constraint: Algorithms and ImplementationCPAIOR'06: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Apr 2006, Cork, Ireland, pp.59-73 |
Among, Common and Disjoint ConstraintsProceedings CSCLP: Revised Selected and Invited Papers, Uppsala, Sweden, pp.29-43 |
|
Filtering Algorithms for the NValue ConstraintCPAIOR, May 2005, Prague, Czech Republic. pp.79-93, ⟨10.1007/11493853_8⟩ |
|
The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, British Virgin Islands. pp.60-65 |
|
Disjoint, Partition and Intersection Constraints for Set and Multiset VariablesCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.138-152 |
|
|
|
The Tractability of Global ConstraintsCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.716-720, ⟨10.1007/978-3-540-30201-8_53⟩ |
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.299-314, ⟨10.1007/978-3-540-24605-3_23⟩ |
|
|
The Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2004, San Jose, CA, United States. pp.112-117 |
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407 |
|
|
Inclusion of sulfur chemistry in a validated C/H/O/N chemical network: identification of key C/S coupling pathways2025 |
|
|
Partial Queries for Constraint Acquisition2020 |
|
|
GeoSafe – Evacuation planning problems2018 |
|
|
A hybrid approach for exact coloring of massive graphsIntegration of Constraint Programming, Artificial Intelligence, and Operations Research, Editions Springer, 2019, Lecture Notes in Computer Science, 978-3-030-19211-2. ⟨10.1007/978-3-030-19212-9_25⟩ |
|
|
Clause learning and new bounds for graph coloringPrinciples and Practice of Constraint Programming, Editions Springer, 2018, Lecture Notes in Computer Science, 978-3-319-98333-2. ⟨10.1007/978-3-319-98334-9_12⟩ |
|
|
New Approaches to Constraint AcquisitionData Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩ |
|
|
JFPC 2016Emmanuel Hebrard. Journées Francophones de Programmation par Contraintes, Jun 2016, Montpellier, France. 2016 |