2024

Journal articles

Christian Artigues, Emmanuel Hébrard, Alain Quilliot, Hélène Toussaint. The Continuous Time-Resource Trade-off Scheduling Problem with Time Windows. INFORMS Journal on Computing, 2024, 36 (6), pp.1359-1756. ⟨10.1287/ijoc.2022.0142⟩. ⟨hal-04610399⟩

Conference papers

Valentin Antuori, Damien T Wojtowicz, Emmanuel Hebrard. A Stable-Set-Based Move to Solve an Agile Earth Observation Satellite Scheduling Problem with a Local Search. 25è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. ⟨hal-04519736⟩

Julien Rouzot, Joséphine Gobert, Christian Artigues, Romain Boyer, Frédéric Camps, et al.. Scheduling onboard tasks of the NIMPH nanosatellite. 13th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2024, Rome, Italy. ⟨hal-04430171⟩

2023

Journal articles

Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hebrard. Complexity of minimum-size arc-inconsistency explanations. Constraints, 2023, 28, pp.427-449. ⟨10.1007/s10601-023-09360-5⟩. ⟨hal-04275512⟩

Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, et al.. Learning Constraints through Partial Queries. Artificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩. ⟨lirmm-04028358⟩

Conference papers

Julien Rouzot, Christian Artigues, Philippe Garnier, Emmanuel Hebrard, Pierre Lopez. Global constraints for scheduling data transfer in space missions. 13th 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. ⟨hal-04171352⟩

Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez. An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. 29th International Conference on Principles and Practice of Constraint Programming, Aug 2023, Toronto ( CA ), Canada. pp.19, ⟨10.4230/LIPIcs.CP.2023.19⟩. ⟨hal-04245373⟩

Julien Rouzot, Christian Artigues, Philippe Garnier, Emmanuel Hebrard, Pierre Lopez. Une contrainte globale pour l'ordonnancement des transferts de données dans les missions spatiales. Journées Francophones de Programmation par Contraintes (JFPC 2023), Jul 2023, Strasbourg, France. pp.115-119. ⟨hal-04171325⟩

Emir Demirović, Emmanuel Hebrard, Louis Jean. Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. International Conference on Machine Learning, Jul 2023, Honolulu, United States. ⟨hal-04108022⟩

2022

Journal articles

Emir Demirović, Anna Lukina, Emmanuel Hébrard, Jeffrey Chan, James Bailey, et al.. MurTree: Optimal Decision Trees via Dynamic Programming and Search. Journal of Machine Learning Research, 2022, 23 (26), pp.1-47. ⟨hal-03597741⟩

Conference papers

Emmanuel Hébrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve A. Chien, et al.. An Efficient Approach to Data Transfer Scheduling for Long Range Space Exploration. The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Jul 2022, Vienna, Austria. pp.4635-4641, ⟨10.24963/ijcai.2022/643⟩. ⟨hal-03747736⟩

Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hebrard. Complexity of Minimum-Size Arc-Inconsistency Explanations. CP 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⟩. ⟨lirmm-03833388⟩

Emmanuel Hébrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve A. Chien, et al.. Data transfer scheduling for deep space exploration. The 15th Workshop on Models and Algorithms for Planning and Scheduling 2022 (MAPSP 2022), Jun 2022, Oropa (Biella), Italy. ⟨hal-03747747⟩

2021

Conference papers

Christian Artigues, Emmanuel Hébrard, Alain Quilliot, Hélène Toussaint. Multi-Mode RCPSP with Safety Margin Maximization: Models and Algorithms. 10th International Conference on Operations Research and Enterprise Systems, Feb 2021, Online Streaming, Austria. pp.129-136, ⟨10.5220/0010190101290136⟩. ⟨hal-03160056⟩

Valentin Antuori, Emmanuel Hébrard, Marie-José Huguet, S Essodaigui, A Nguyen. Étude de méthodes arborescentes de Monte-Carlo pour un problème de déplacement de pièces dans un atelier d'assemblage. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'21) Plate-Forme Intelligence Artificielle (PFIA'21), Jul 2021, Bordeaux, France. pp.7-13. ⟨hal-03298740⟩

Valentin Antuori, Tom Portoleau, Louis Rivière, Emmanuel Hébrard. On How Turing and Singleton Arc Consistency Broke the Enigma Code. 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.13⟩. ⟨hal-03454134⟩

Valentin Antuori, Emmanuel Hébrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen. Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem. International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier (on line), France. ⟨10.4230/LIPIcs.CP.2021.14⟩. ⟨hal-03372005⟩

2020

Journal articles

Emmanuel Hébrard, George Katsirelos. Constraint and Satisfiability Reasoning for Graph Coloring. Journal of Artificial Intelligence Research, 2020, 69, ⟨10.1613/jair.1.11313⟩. ⟨hal-02907062⟩

Christian Artigues, Emmanuel Hebrard, Pierre Lopez. Aide à la Décision et Optimisation. Le petit illustré, regards croisés de chercheur.es, 2020. ⟨hal-03435454⟩

Conference papers

Hao Hu, Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost. IJCAI-PRICAI 2020, 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. ⟨hal-02740415⟩

Valentin Antuori, Emmanuel Hébrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen. Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. Principles and Practice of Constraint Programming. CP 2020, Sep 2020, Louvain La Neuve, Belgium. pp.657-672, ⟨10.1007/978-3-030-58475-7_38⟩. ⟨hal-02938190⟩

Valentin Antuori, Emmanuel Hébrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen. A constraint programming approach for planning items transportation in a workshop context. 17th International Conference on Project Management and Scheduling (PMS 2020), Apr 2020, Toulouse, France. ⟨hal-02896062⟩

Arthur Godet, Xavier Lorca, Emmanuel Hébrard, Gilles Simonin. Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources. Thirty-Fourth AAAI Conferance on Artificial Intelligence (AAAI'20), Feb 2020, New-York, United States. pp.1512-1519, ⟨10.1609/aaai.v34i02.5510⟩. ⟨hal-02907067⟩

Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hébrard, Joao Marques-Silva. Towards Formal Fairness in Machine Learning. 26th 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⟩. ⟨hal-02950860⟩

Preprints, Working Papers, ...

Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hébrard, George Katsirelos, et al.. Partial Queries for Constraint Acquisition. 2020. ⟨hal-03088013⟩

2019

Book sections

Emmanuel Hebrard, Georgios Katsirelos. A hybrid approach for exact coloring of massive graphs. Integration 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⟩. ⟨hal-02787461⟩

Conference papers

Christian Artigues, Alain Quiliot, Hélène Toussaint, Emmanuel Hébrard. Models and Algorithms for Natural Disaster Evacuation Problems. 14th Federated Conference on Computer Science and Information Systems 2019, Sep 2019, Leipzig, Germany. pp.143-146, ⟨10.15439/2019F90⟩. ⟨hal-02403836⟩

Christian Artigues, Emmanuel Hébrard, Alain Quilliot, Peter J Stuckey, Hélène Toussaint. MODELS AND ALGORITHMS FOR EVACUATION PLANNING FOR WILDFIRES. GEO-SAFE Wildfire Conference, Nov 2019, Melbourne, Australia. ⟨hal-02383753⟩

Emmanuel Hébrard, George Katsirelos. A Hybrid Approach for Exact Coloring of Massive Graphs. Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Jun 2019, Thessaloniki, Greece. ⟨hal-02076298⟩

Reports

Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. 2019. ⟨hal-02295816⟩

2018

Book sections

Emmanuel Hebrard, Georgios Katsirelos. Clause learning and new bounds for graph coloring. Principles 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⟩. ⟨hal-02786867⟩

Conference papers

Emmanuel Hébrard, George Katsirelos. Conflict Directed Clause Learning for the Maximum Weighted Clique Problem. 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p. ⟨hal-01873485⟩

Emmanuel Hébrard. Reasoning About NP-complete Constraints. 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 5p. ⟨hal-01873503⟩

Azeddine Cheref, Christian Artigues, Emmanuel Hébrard, Pierre Lopez, Vincent Charvillat, et al.. Algorithme d’approximation pour un problème d’affectation d’une commande multiproduit multifournisseur. 12ème Conférence Internationale de MOdélisation, Optimisation et SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 7p. ⟨hal-01880425⟩

Emmanuel Hébrard, George Katsirelos. Clause Learning and New Bounds for Graph Coloring. International Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. 17p. ⟨hal-01873500⟩

Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J Stuckey. A Study of Evacuation Planning for Wildfires. The Seventeenth International Workshop on Constraint Modelling and Reformulation (ModRef 2018), Aug 2018, Lille, France. 17p. ⟨hal-01814083⟩

Emmanuel Hebrard, Georgios Katsirelos. Conflict directed clause learning for maximum weighted clique problem. IJCAI 2018 27. International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. ⟨10.24963/ijcai.2018/183⟩. ⟨hal-02733792⟩

Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey. Data Instance generator and optimization models for evacuation planning in the event of wildfire. GEOSAFE Workshop on Robust Solutions for Fire Fighting (RSFF 2018), Jul 2018, L'Aquila, Italy. pp.75-86. ⟨hal-01814063⟩

Preprints, Working Papers, ...

Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J Stuckey. GeoSafe – Evacuation planning problems. 2018. ⟨hal-01814177⟩

2017

Journal articles

Emmanuel Hébrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche-Sauvan, Bertrand Cabon. Constraint programming for planning test campaigns of communications satellites. Constraints, 2017, 22 (1), pp.73 - 89. ⟨10.1007/s10601-016-9254-x⟩. ⟨hal-01443817⟩

Conference papers

Emmanuel Hébrard, Mohamed Siala. Explanation-Based Weighted Degree. CPAIOR, Jun 2017, Padoue, Italy. 9p. ⟨hal-01670307⟩

Clément Carbonnel, Emmanuel Hébrard. On the Kernelization of Global Constraints. International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. 7p. ⟨hal-01670318⟩

Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh. Contraintes de Classement. JFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-mer, France. pp.89-90. ⟨lirmm-02059660⟩

2016

Journal articles

Emmanuel Hébrard, Marie-José Huguet, Nicolas Jozefowiez, Adrien Maillard, Cédric Pralet, et al.. Approximation of the parallel machine scheduling problem with additional unit resources. Discrete Applied Mathematics, 2016, 215, pp.126-135. ⟨10.1016/j.dam.2016.07.003⟩. ⟨hal-01354589⟩

Book sections

Christian Bessiere, Abderrazak Daoudi, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, et al.. New Approaches to Constraint Acquisition. Data 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⟩. ⟨hal-01606245⟩

Conference papers

Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan. Ranking Constraints
. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.705-711. ⟨lirmm-01374715⟩

Clément Carbonnel, Emmanuel Hébrard. Propagation via Kernelization: The Vertex Cover Constraint. The 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⟩. ⟨hal-01459870⟩

Proceedings

Emmanuel Hébrard. JFPC 2016. Emmanuel Hebrard. Journées Francophones de Programmation par Contraintes, Jun 2016, Montpellier, France. 2016. ⟨hal-01340084⟩

2015

Journal articles

Gilles Simonin, Christian Artigues, Emmanuel Hébrard, Pierre Lopez. Scheduling scientific experiments for comet exploration. Constraints, 2015, 20 (1), pp.77 - 99. ⟨10.1007/s10601-014-9169-3⟩. ⟨hal-01108961⟩

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. A study of constraint programming heuristics for the car-sequencing problem. Engineering Applications of Artificial Intelligence, 2015, 38, pp.34 - 44. ⟨10.1016/j.engappai.2014.10.009⟩. ⟨hal-01084239⟩

Diarmuid Grimes, Emmanuel Hébrard. Solving Variants of the Job Shop Scheduling Problem through Conflict-Directed Search. INFORMS Journal on Computing, 2015, 27 (2), pp.268 - 284. ⟨10.1287/ijoc.2014.0625⟩. ⟨hal-01229043⟩

Conference papers

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Two Clause Learning Approaches for Disjunctive Scheduling. Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.393-402, ⟨10.1007/978-3-319-23219-5_28⟩. ⟨hal-01229050⟩

Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Toby Walsh. Reasoning about Connectivity Constraints. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574. ⟨hal-01606489⟩