Operations Research, Combinatorial Optimization and Constraints

- roc -


Team ROC works on combinatorial optimisation problems, and on the algorithmic methods to solve them, bridging Operations Research and Artificial Intelligence.


Team ROC works on combinatorial optimisation problems, and on the algorithmic methods to solve them, bridging Operations Research and Artificial Intelligence.

Our Research

Combinatorial Optimization Problems

Team ROC designs and studies various models and algorithms for several classes of combinatorial optimization problems, such as scheduling, vehicle routing, and resource allocation problems.

+

Computational Methods

We contribute to the design of efficient solving methods for hard combinatorial optimization problems. In particular, we design algorithms and models for constraint programming, mixed-integer linear programming and hybrid approaches.

+

Real-world Applications

We aim at confronting the proposed methods to the real world by considering industrial engineering, human factors and environmental issues. We develop industrial applications in various domains including transportation, manufacturing and supply chain management, energy management, aeronautics and space

+

Focus

Structural Properties and approximations with guarantees

We carry out research to establish structural properties and performance-guaranteed approximations of combinatorial optimization and other computing problems. This include complexity and approximability analysis, theoretical comparisons of linearization schemes, piecewise linear and polynomial approximations, polyhedral and graph theoretical studies

+

Optimization under uncertainty

The parameters of an optimization problems are often subject to uncertainties of all kinds. The team is interested in robust combinatorial optimization problems, especially scheduling problems under uncertainty. One avenue of research consists in proposing flexible solution structures for the proactive consideration of disruption by facilitating the repairing of computed solutions, notably by predetermining the feasibility of permutations within task sequences. The teams also contributes to advances in robust discrete optimization for scheduling

+

Combinatorial Optimization & Learning

We explore the relationship between combinatorial optimization and learning techniques in two complementary ways. On the one hand, we seek to integrate learning mechanisms within tree search for problem solving. On the other hand, in a dual way, other work aims at improving machine learning techniques by integrating combinatorial optimization methods.

+

Multi-Agent & Multi-Objective Optimization

The team is interested in the cooperative, decentralized and distributed aspects of decisions, related to the presence of several decision centers that interact in a number of applications. The team conducts research in multi-objective mathematical programming. Within multi-agent optimisation problems, the team is also exploring the search for equilibrium solutions within the meaning of game theory that are also non-Pareto dominated. Finally, the team is interested in distributed combinatorial optimization, especially for reasons of security or respect of private data. Interdisciplinary researches on human factors in combinatorial optimization have also been carried out.

+

Latest publications

2024

Journal articles

Tom Portoleau, Christian Artigues, Romain Guillaume. Robust decision trees for the multi-mode project scheduling problem with a resource investment objective and uncertain activity duration. European Journal of Operational Research, 2024, 312 (2), pp.525-540. ⟨10.1016/j.ejor.2023.07.035⟩. ⟨hal-03502505⟩

Conference papers

Tanguy Terrien, Cyrille Briand, Philippe Truillet. A CP model with aggregation for real-life project scheduling. 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. à paraître. ⟨hal-04353470⟩

Camille Lescuyer, Christian Artigues, Jean-Thomas Camino, Cédric Pralet. Heuristic Methods for the Antenna-Constrained Beam Layout Optimization on Multibeam Broadcasting Mission. 13th International Conference on Operations Research and Enterprise Systems, Feb 2024, Rome, Italy. pp.294-301, ⟨10.5220/0012380200003639⟩. ⟨hal-04521756⟩

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⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Probabilistic Dataset Reconstruction from Interpretable Models. 2nd IEEE Conference on Secure and Trustworthy Machine Learning, Apr 2024, Toronto, Canada. ⟨10.1109/SaTML59370.2024.00009⟩. ⟨hal-04189566v2⟩

Preprints, Working Papers, ...

Timothée Ly, Julien Ferry, Marie-José Huguet, Sébastien Gambs, Ulrich Aivodji. Smooth Sensitivity for Learning Differentially-Private yet Accurate Rule Lists. 2024. ⟨hal-04505410⟩

Aloïs Duguet, Margarida Carvalho, Gabriele Dragotto, Sandra Ulrich Ngueveu. Computing Approximate Nash Equilibria for Integer Programming Games. 2024. ⟨hal-04449901⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Comparing modeling alternatives for solving a non-linear single Hydro Unit Commitment problem. 2023. ⟨hal-03739677v2⟩

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 2024. ⟨hal-04466875⟩

Alexandre Heintzmann, Pascale Bendotti, Cécile Rottner. Handling polyhedral symmetries with a dedicated Branch&Cut: application to a knapsack variant. 2024. ⟨hal-04493165v2⟩

2023

Journal articles

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⟩

Louis Rivière, Christian Artigues, Hélène Fargier. Two-stage stochastic/robust scheduling based on permutable operation groups. Annals of Operations Research, In press, ⟨10.1007/s10479-023-05639-1⟩. ⟨hal-04229958⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Logic-based Benders decomposition for the preemptive Flexible Job-Shop Scheduling Problem. Computers & Operations Research, 2023, 152, ⟨10.1016/j.cor.2023.106156⟩. ⟨hal-03696252⟩

Christian Bessiere, Clément 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⟩

Imane Oussakel, Philippe Owezarski, Pascal Berthou, Laurent Houssin. Toward Radio Access Network Slicing Enforcement in Multi-Cell 5G System. Journal of Network and Systems Management, 2023, 31, pp.8. ⟨10.1007/s10922-022-09694-0⟩. ⟨hal-02633510v2⟩

Corentin Boennec, Lucas Albuquerque, Bruno Sareni, Fabien Lacressonnière, Sandra Ulrich Ngueveu. Comparison of Battery Models Integrating Energy Efficiency and Aging for the Design of Microgrids. Smart Grids and Sustainable Energy, 2023, 9, pp.1. ⟨10.1007/s40866-023-00174-1⟩. ⟨hal-04369844⟩

Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩

Oliver Polo Mejia, Christian Artigues, Pierre Lopez, Lars Mönch, Virginie Basini. Heuristic and metaheuristic methods for the multi‐skill project scheduling problem with partial preemption. International Transactions in Operational Research, 2023, 30 (2), pp.858-891. ⟨10.1111/itor.13063⟩. ⟨hal-03475868⟩

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Improving Fairness Generalization Through a Sample-Robust Optimization Method. Machine Learning, 2023, Special Issue on Safe and Fair Machine Learning, 112 (6), pp.2131-2192. ⟨10.1007/s10994-022-06191-y⟩. ⟨hal-03709547⟩

Tamara Borreguero Sanchidrián, Tom Portoleau, Christian Artigues, Alvaro García Sánchez, Miguel Ortega Mier, et al.. Large neighborhood search for an aeronautical assembly line time-constrained scheduling problem with multiple modes and a resource leveling objective. Annals of Operations Research, In press, ⟨10.1007/s10479-023-05629-3⟩. ⟨hal-04229939⟩

Book sections

Mélody Mailliez, Hugo Chevroton, Cyril Briand, Philippe Truillet, Céline Lemercier. Stepping stone to smarter supervision: a human-centered multidisciplinary framework. Chaudhery Mustansar Hussain; Daniel Rossit. Designing Smart Manufacturing Systems, chapter 4, Elsevier, pp.89-118, 2023, ⟨10.1016/B978-0-32-399208-4.00011-8⟩. ⟨hal-04181324⟩

Conference papers

Matthieu Masson, Denis Arzelier, Mioara Joldes, Bruno Revelin, Jérôme Thomassin. Multi-maneuvers algorithms for multi-risk collision avoidance via nonconvex quadratic optimization. IFAC World Congress 2023, Jul 2023, Yokohama, Japan. ⟨hal-03847541⟩

Cyrille Briand, Arthur Bit-Monnot, Adrien Deckx van Ruys. Planification prévisionnelle de véhicules autonomes pour la logistique interne de systèmes de production. 24ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF 2023, Nadjib Brahimi, Feb 2023, Rennes, France. ⟨hal-04249513⟩

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⟩

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⟩

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⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Approche hybride multi-étape pour la résolution du problème de job-shop flexible robuste avec budget d'incertitude. 24e congrès de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2023), Rennes School of Business, Feb 2023, Rennes, France. ⟨hal-03998579⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty. 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), May 2023, Nice, France. pp.354-359. ⟨hal-03963365⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Exploiting Fairness to Enhance Sensitive Attributes Reconstruction. First IEEE Conference on Secure and Trustworthy Machine Learning, Feb 2023, Raleigh, North Carolina, United States. ⟨10.1109/SaTML54575.2023.00012⟩. ⟨hal-03766710v2⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Exploiter l'équité d'un modèle d'apprentissage pour reconstruire les attributs sensibles de son ensemble d'entraînement. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA/PFIA 2023), Jul 2023, Strasbourg, France. ⟨hal-04190265⟩

Corentin Boennec, Bruno Sareni, Sandra Ulrich Ngueveu. Robust Design of Microgrids using Component Models with Different Level of Accuracy. OIPE 2023 (17th International Workshop on Optimization and Inverse Problems in Electromagnetism), Sep 2023, Graz, Austria. ⟨hal-04367497⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Efficient exact A* algorithm for the single unit hydro unit commitment problem. 18th Conference on Computer Science and Intelligence Systems, Sep 2023, Warsaw, Poland. pp.527-537, ⟨10.15439/2023F5158⟩. ⟨hal-04112945v3⟩

Guillaume Povéda, Nahum Alvarez, Christian Artigues. Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. ⟨10.4230/LIPIcs.CP.2023.31⟩. ⟨hal-04217223⟩

Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux. Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. 33rd International Conference on Automated Planning and Scheduling (ICAPS), Jul 2023, Prague, Czech Republic. ⟨hal-04141504⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Hybrid Methods to Solve the Two-Stage Robust Flexible Job-Shop Scheduling Problem with Budgeted Uncertainty. 12th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2023, Lisbonne, Portugal. pp.135-142. ⟨hal-03963343⟩

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⟩

Ghassen Cherif, Dimitri Lefebvre. Modelling and optimization approaches for advanced manufacturing systems. ICIEA-EU 2023: 2023 The 10th International Conference on Industrial Engineering and Applications, Jan 2023, Rome, Italy. pp.84-90, ⟨10.1145/3587889.3587903⟩. ⟨hal-04468991⟩

Reports

Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu. Un aperçu du e-commerce socialement-responsable français. Toulouse INP; LAAS - CNRS. 2023. ⟨hal-04214507v2⟩

Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu. Un aperçu du e-commerce éco-responsable français. Toulouse INP; LAAS - CNRS. 2023. ⟨hal-04142062v3⟩

Preprints, Working Papers, ...

Alexandre Heintzmann, Pascale Bendotti, Cécile Rottner. Two-phase Branch & Cut for the Symmetric Weight Matrix Knapsack polytope. 2023. ⟨hal-03992007⟩

Julien Ferry, Gabriel Laberge, Ulrich Aïvodji. Learning Hybrid Interpretable Models: Theory, Taxonomy, and Methods. 2023. ⟨hal-04010590⟩

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. 2023. ⟨hal-04134188⟩

Jean-François Aujol, Luca Calatroni, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre. Parameter-Free FISTA by Adaptive Restart and Backtracking. 2023. ⟨hal-04172497⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Decomposition methods for the preemptive Flexible Job-Shop Scheduling Problem. 2023. ⟨hal-04243944⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. SoK: Taming the Triangle - On the Interplays between Fairness, Interpretability and Privacy in Machine Learning. 2023. ⟨hal-04359832⟩

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⟩

Pierre-Antoine Morin, Christian Artigues, Alain Haït, Tamás Kis, Frits C.R. Spieksma. A project scheduling problem with periodically aggregated resource-constraints. Computers and Operations Research, 2022, 141, pp.105688. ⟨10.1016/j.cor.2021.105688⟩. ⟨hal-03525068⟩

Maximilian Pohl, Christian Artigues, Rainer Kolisch. Solving the Time-Discrete Winter Runway Scheduling Problem: A Column Generation and Constraint Programming Approach. European Journal of Operational Research, 2022, 299 (2), pp.674-689. ⟨10.1016/j.ejor.2021.08.028⟩. ⟨hal-03344421⟩

Sandra Ulrich Ngueveu, Christian Artigues, Nabil Absi, Safia Kedad-Sidhoum. Lower and upper bounds for scheduling energy-consuming tasks with storage resources and piecewise linear costs. Journal of Heuristics, 2022, 28 (1), pp.93-120. ⟨10.1007/s10732-021-09486-w⟩. ⟨hal-03337821⟩

Aloïs Duguet, Christian Artigues, Laurent Houssin, Sandra Ulrich Ngueveu. Properties, Extensions and Application of Piecewise Linearization for Euclidean Norm Optimization in R 2. Journal of Optimization Theory and Applications, 2022, 195 (2), pp.418-448. ⟨10.1007/s10957-022-02083-2⟩. ⟨hal-03356034v4⟩

Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet. Meta Partial Benders Decomposition for the Logistics Service Network Design Problem. European Journal of Operational Research, 2022, 300 (2), pp.473-489. ⟨10.1016/j.ejor.2021.07.056⟩. ⟨hal-02951456v2⟩

Hugo Gilbert, Tom Portoleau, Olivier Spanjaard. Beyond pairwise comparisons in social choice: A setwise Kemeny aggregation problem. Theoretical Computer Science, 2022, 904, pp.27-47. ⟨10.1016/j.tcs.2021.07.004⟩. ⟨hal-03560807⟩

Quentin Fabry, Alessandro Agnetis, Lotte Berghman, Cyril Briand. Complexity of flow time minimization in a crossdock truck scheduling problem with asymmetric handover relations. Operations Research Letters, 2022, 50 (1), pp.50-56. ⟨10.1016/j.orl.2021.12.004⟩. ⟨hal-03539324⟩

Conference papers

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Comparaison de différents modèles pour résoudre le problème non-linéaire Hydro Unit Commitment. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595259⟩

Julien Rouzot, Julien Ferry, Marie-José Huguet. Learning Optimal Fair Scoring Systems for Multi-Class Classification. ICTAI 2022 - The 34th IEEE International Conference on Tools with Artificial Intelligence, Oct 2022, Virtual, United States. ⟨hal-03782735⟩

Hugo Chevroton, Cyril Briand, Philippe Truillet, Melody Mailliez, Céline Lemercier. A CP model for interactive project scheduling in space industry. 23ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2022), INSA Lyon; Université de Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595210⟩

Christian Artigues, Léonie Gallois, Laurent Houssin. Ordonnancement des contacts Search And Rescue dans une constellation de satellites de géopositionnement. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595367⟩

Hugo Chevroton, Cyril Briand, Philippe Truillet, Mélody Mailliez, Céline Lemercier. Human-centered interactions for project scheduling decision-aid in space industry. 18th International Workshop on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03608503⟩

Tom Portoleau, Romain Guillaume, Christian Artigues. Une variante de la méthode de Benders adverse pour le problème de lot-sizing robuste avec budget d'incertitude. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595446⟩

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⟩

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⟩

Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hébrard. 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⟩

Corentin Boennec, Lucas de Oliveira Albuquerque, Bruno Sareni, Fabien Lacressonnière, Sandra Ulrich Ngueveu. Analysis of the Li-ion Batteries Modeling Choices For Microgrid Design. International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM), Oct 2022, Tunis, Tunisia. ⟨hal-03895725⟩

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fast and reliable computation of the instantaneous orbital collision probability. 2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands. ⟨hal-04240944⟩

Tom Portoleau, Christian Artigues, Tamara Borreguero Sanchidrián, Alvaro García Sánchez, Miguel Ortega Mier, et al.. Large neighborhood search for a multi-mode resource constrained scheduling problem with resource leveling objective. 18th International Workshop on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03747831⟩

Hao Hu, Marie-José Huguet, Mohamed Siala. Optimizing Binary Decision Diagrams with MaxSAT for Classification. 36th AAAI Conference on Artificial Intelligence, Feb 2022, Vancouver, Canada. ⟨hal-03667549⟩

Mioara Joldes. Validated Numerics:Algorithms and Practical Applications in Aerospace. ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2, ⟨10.1145/3476446.3535505⟩. ⟨hal-03762945⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Décomposition de Benders basée sur la logique pour le problème de job-shop flexible préemptif. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595271⟩

Claudio Contardo, Sandra Ulrich Ngueveu. Approximation à précision numérique prédéfinie d'une classe de problèmes d'optimisation non-linéaires non-convexes séparables. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595251⟩

Julien Ferry, Ulrich Aïvodji, Sebastien Gambs, Marie-José Huguet, Mohamed Siala. Concilier l'équité statistique et la précision en apprentissage machine interprétable grâce à la PLNE. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595267⟩

Léa Blaise, Thierry Benoist, Christian Artigues. Résolution du problème de l'Assembly Line Balancing avec LocalSolver. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595405⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Logic-based Benders Decomposition for preemptive Flexible Job-Shop Scheduling. 18th International Conference on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03607646⟩

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR-2022), Jun 2022, Los Angeles, CA, United States. ⟨hal-03602234⟩

Aloïs Duguet, Sandra Ulrich Ngueveu. Heuristiques de linéarisation par morceaux de fonctions à deux variables avec minimisation du nombre de morceaux sous contrainte de tolérance. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595299⟩

Louis Rivière, Christian Artigues, Hélène Fargier. Two-stage stochastic/robust scheduling using permutable operation groups. 23ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2022), Institut National des Sciences Appliquées : INSA Lyon; Université de Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595429⟩

Proceedings

Aloïs Duguet, Sandra Ulrich Ngueveu. Piecewise linearization of bivariate nonlinear functions: minimizing the number of pieces under a bounded approximation error. 13526, Springer International Publishing, pp.117-129, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-18530-4_9⟩. ⟨hal-03629850v2⟩

Preprints, Working Papers, ...

Mélody Mailliez, Hugo Chevroton, Cyril Briand, Philippe Truillet, Céline Lemercier. Stepping Stone to Smarter Supervision Systems: A Human-centered Multidisciplinary Framework. 2022. ⟨hal-03613453⟩

Jean-François Aujol, Charles Dossal, Văn Hào Hoàng, Hippolyte Labarrière, Aude Rondepierre. Fast convergence of inertial dynamics with Hessian-driven damping under geometry assumptions. 2022. ⟨hal-03693218v2⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Dynamic programming for the single unit hydro unit commitment problem. 2022. ⟨hal-03916388⟩

2021

Journal articles

Jean-Thomas Camino, Christian Artigues, Laurent Houssin, Stéphane Mourgues. MILP Formulation Improvement with k-Means Clustering for the Beam Layout Optimization in Multibeam Satellite Systems. Computers & Industrial Engineering, 2021, 158, pp.107228. ⟨10.1016/j.cie.2021.107228⟩. ⟨hal-03170703⟩

Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet. A Time-Expanded Network Reduction Matheuristic for the Logistics Service Network Design Problem. Transportation Research Part E: Logistics and Transportation Review, 2021, 147, pp.102203. ⟨10.1016/j.tre.2020.102203⟩. ⟨hal-03116634⟩

Mioara Joldeş, Bogdan Pasca. Efficient Floating-Point Implementation of the Probit Function on FPGAs. Journal of Signal Processing Systems, 2021, 93 (12), pp.1387-1403. ⟨hal-03385845⟩

Přemysl Šůcha, Alessandro Agnetis, Marko Šidlovský, Cyril Briand. Nash equilibrium solutions in multi-agent project scheduling with milestones. European Journal of Operational Research, 2021, 294 (1), pp.29-41. ⟨10.1016/j.ejor.2021.01.023⟩. ⟨hal-03539307⟩

Montserrat-Ana Miranda, María Jesús Alvarez, Cyril Briand, Matías Urenda Moris, Victoria Rodríguez. Eco-efficient management of a feeding system in an automobile assembly-line. Journal of Modelling in Management, 2021, 16 (2), pp.464-485. ⟨10.1108/jm2-10-2019-0241⟩. ⟨hal-03010898⟩

Conference papers

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⟩

Léa Blaise, Christian Artigues, Thierry Benoist. Solution Repair by Inequality Network Propagation in LocalSolver. 17th International Workshop on Project Management and Scheduling (PMS 2020-2021), Apr 2021, Toulouse, France. ⟨hal-03010344⟩

Cyril Briand, Olivier Stasse, Michel Taïx, Thierry Germa, Fabien Marco, et al.. ROS : une solution middleware adaptée pour l'industrie du futur ?. 17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France. ⟨hal-03296139⟩

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. FairCORELS, an Open-Source Library for Learning Fair Rule Lists. ACM International Conference on Information and Knowledge Management, Virtual Event, Nov 2021, Queensland, Australia. pp.4665-4669, ⟨10.1145/3459637.3481965⟩. ⟨hal-03427276⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Améliorer la généralisation de l'équité en apprentissage grâce à l'Optimisation Distributionnellement Robuste. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA/PFIA 2021), Jul 2021, Bordeaux (virtual), France. ⟨hal-03249522⟩

Félix Quinton, Idir Hamaz, Laurent Houssin. A Benders decomposition for the flexible cyclic jobshop problem. 17th Internatinal Workshop on Project Management and Scheduling, Apr 2021, Toulouse, France. ⟨hal-03171122⟩

Quentin Fabry, Alessandro Agnetis, Lotte Berghman, Cyril Briand. On the complexity of the crossdock truck-scheduling problem. 17th International Workshop on Project Management and Scheduling (PMS 2020-2021), Apr 2021, Toulouse, France. ⟨hal-03010169⟩

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⟩

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⟩

Denis Arzelier, Florent Bréhard, Mioara Joldeş, Jean-Bernard Lasserre, Sohie Laurens, et al.. Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. 60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩. ⟨hal-03158347⟩

Christian Artigues, Pierre Lopez, Oliver Polo Mejía. Structural and Experimental Comparisons of Formulations for a Multi-Skill Project Scheduling Problem with Partial Preemption. 17th International Conference on Project Management and Scheduling (PMS 2020), Apr 2021, Toulouse, France. ⟨hal-03009960⟩

Quentin Fabry, Lotte Berghman, Cyril Briand. Using flexible crossdock schedules to face truck arrivals uncertainty. IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.188-198, ⟨10.1007/978-3-030-85914-5_20⟩. ⟨hal-03417125⟩

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⟩

Louis Rivière, Christian Artigues, Azeddine Cheref, Nicolas Jozefowiez, Marie-José Huguet, et al.. Multi-product, Multi-supplier Order Assignment and Routing for an e-Commerce Application in the Retail Sector. 10th International Conference on Operations Research and Enterprise Systems, Feb 2021, Online Streaming, Austria. pp.438-445, ⟨10.5220/0010318304380445⟩. ⟨hal-03160070⟩

Preprints, Working Papers, ...

Tamara Borreguero Sanchidrián, Tom Portoleau, Christian Artigues, Alvaro García Sánchez, Miguel Ortega Mier, et al.. Exact and heuristic methods for an aeronautical assembly line time-constrained scheduling problem with multiple modes and a resource leveling objective. 2021. ⟨hal-03344445⟩

Julien Codsi, Sandra Ulrich Ngueveu, Bernard Gendron. LinA: A faster approach to piecewise linear approximations using corridors and its application to mixed-integer optimization. 2021. ⟨hal-03336003⟩

Claudio Contardo, Sandra Ulrich Ngueveu. On the approximation of separable non-convex optimization programs to an arbitrary numerical precision. 2021. ⟨hal-03336022v2⟩

2020

Journal articles

Denis Arzelier, Florent Bréhard, Mioara Joldes. Comments on "Series for Collision Probability in Short-Encounter Model". Journal of Guidance, Control, and Dynamics, 2020, 43 (5), ⟨10.2514/1.G004560⟩. ⟨hal-02123054⟩

Othmane Sebbouh, Charles H Dossal, Aude Rondepierre. Convergence rates of damped inertial dynamics under geometric conditions. SIAM Journal on Optimization, 2020, 30 (3), pp.1850-1877. ⟨10.1137/19M1272767⟩. ⟨hal-02173978v3⟩

Oliver Polo Mejia, Christian Artigues, Pierre Lopez, Virginie Basini. Mixed-integer/linear and constraint programming approaches for activity scheduling in a nuclear research facility. International Journal of Production Research, 2020, 58 (23), pp.7149-7166. ⟨10.1080/00207543.2019.1693654⟩. ⟨hal-02403838⟩

Vassilis Apidopoulos, Jean-François Aujol, Charles H Dossal, Aude Rondepierre. Convergence rates of an inertial gradient descent algorithm under growth and flatness conditions. Mathematical Programming, 2020, ⟨10.1007/s10107-020-01476-3⟩. ⟨hal-01965095v3⟩

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

Michelle Dunbar, Simon Belieres, Nagesh Shukla, Mehrdad Amirghasemi, Pascal Perez, et al.. A genetic column generation algorithm for sustainable spare part delivery: application to the Sydney DropPoint network. Annals of Operations Research, 2020, 290 (1-2), pp.923-941. ⟨10.1007/s10479-018-2911-2⟩. ⟨hal-01982270⟩

Estèle Glize, Roberto Roberti, Nicolas Jozefowiez, Sandra Ulrich Ngueveu. Exact Methods for Mono-Objective and Bi-Objective Multi-Vehicle Covering Tour Problems. European Journal of Operational Research, 2020, 283 (3), pp.812-824. ⟨10.1016/j.ejor.2019.11.045⟩. ⟨hal-02443270⟩

Yun He, Christian Artigues, Cyril Briand, Nicolas Jozefowiez, Sandra Ulrich Ngueveu. A Matheuristic with Fixed-Sequence Reoptimization for a Real-Life Inventory Routing Problem. Transportation Science, 2020, 54 (2), pp.355-374. ⟨10.1287/trsc.2019.0954⟩. ⟨hal-02944238⟩

Alessandro Agnetis, Cyril Briand, Sandra Ulrich Ngueveu, Přemysl Šůcha. Price of anarchy and price of stability in multi-agent project scheduling. Annals of Operations Research, 2020, 285 (1-2), pp.97-119. ⟨10.1007/s10479-019-03235-w⟩. ⟨hal-03009331⟩

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⟩

Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet, Tom van Woensel. A Benders decomposition-based approach for logistics service network design. European Journal of Operational Research, 2020, 286 (2), pp.523-537. ⟨10.1016/j.ejor.2020.03.056⟩. ⟨hal-02564514v2⟩

Félix Quinton, Idir Hamaz, Laurent Houssin. A mixed integer linear programming modelling for the flexible cyclic jobshop problem. Annals of Operations Research, 2020, 285, pp.335-352. ⟨10.1007/s10479-019-03387-9⟩. ⟨hal-02318936⟩

Mark Antunes, Vincent Armant, Kenneth Brown, Daniel Desmond, Guillaume Escamocher, et al.. Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. International Journal on Artificial Intelligence Tools, 2020, 29 (03n04), pp.2060007. ⟨10.1142/S0218213020600076⟩. ⟨hal-02890264⟩

Conference papers

Tom Portoleau, Christian Artigues, Romain Guillaume. Arbres de décision robustes pour l'ordonnancement proactif / réactif sous incertitude. 21ème Congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2020), Equipe MAORE du Laboratoire LIRMM de l’Université de Montpellier, France, Feb 2020, Montpellier, France. ⟨hal-03001580⟩

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⟩

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⟩

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⟩

Hugo Gilbert, Tom Portoleau, Olivier Spanjaard. Beyond Pairwise Comparisons in Social Choice: A Setwise Kemeny Aggregation Problem. Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), Feb 2020, New York, United States. pp.1982-1989, ⟨10.1609/aaai.v34i02.5569⟩. ⟨hal-02979833⟩

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⟩

Christian Artigues, Pierre Lopez, Oliver Polo Mejía. Programmation linéaire en nombres entiers pour l'ordonnancement de projet multi-compétence avec préemption partielle. 13th International Conference on Modeling, Optimization and Simulation (MOSIM 2020), Nov 2020, Agadir, Maroc. ⟨hal-03010078⟩

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⟩

Tom Portoleau, Christian Artigues, Romain Guillaume. Robust Predictive-Reactive Scheduling : an Information-Based Decision Tree Model. 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020, Lisbon, France. pp.479-492, ⟨10.1007/978-3-030-50153-2_36⟩. ⟨hal-02884177⟩

Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan. Clustering Sargassum Mats from Earth Observation Data. Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium. ⟨hal-02938183⟩

Léa Blaise, Christian Artigues, Thierry Benoist. Solution Repair by Inequality Network Propagation in LocalSolver. 16th International Conference on Parallel Problem Solving from Nature (PPSN 2020), Sep 2020, Leiden, Netherlands. ⟨10.1007/978-3-030-58112-1_23⟩. ⟨hal-02866559⟩

Mioara Joldes, Bogdan Pasca. Efficient Floating-Point Implementation of the Probit Function on FPGAs. 31st IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2020, Jul 2020, Manchester, United Kingdom. ⟨10.1109/ASAP49362.2020.00036⟩. ⟨hal-02875528⟩

Mioara Joldeş, Jean-Michel Muller. Algorithms for manipulating quaternions in floating-point arithmetic. ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩. ⟨hal-02470766v2⟩

Other documents

Nadia Brauner, Christian Artigues, François Clautiaux, Pierre Fouilhoux. La Recherche Opérationnelle, Tangente, HS 75. Tangente (Paris), HS 75, 2020, La Recherche Opérationnelle. ⟨hal-02923020⟩

Reports

Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre. Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects. [Research Report] Rapport LAAS n° 20008, LAAS-CNRS. 2020. ⟨hal-02444341⟩

2019

Journal articles

Jean François Aujol, Charles H Dossal, Aude Rondepierre. Optimal Convergence Rates for Nesterov Acceleration. SIAM Journal on Optimization, 2019, 29 (4), pp.3131-3153. ⟨10.1137/18M1186757⟩. ⟨hal-01786117v4⟩

Marwane Bouznif, Julien Darlay, Julien Moncel, Myriam Preissmann. Exact values for three domination-like problems in circular and infinite grid graphs of small height. Discrete Mathematics and Theoretical Computer Science, 2019, Vol. 21 no. 3 (3), ⟨10.23638/DMTCS-21-3-12⟩. ⟨hal-01569881v3⟩

Antoine Dailly, Julien Moncel, Aline Parreau. Connected Subtraction Games on Subdivided Stars. Integers : Electronic Journal of Combinatorial Number Theory, 2019, 19, pp.G3. ⟨hal-01849181v2⟩

Mikaël Capelle, Marie-José Huguet, Nicolas Jozefowiez, Xavier Olive. Optimizing ground station networks for free space optical communications: maximizing the data transfer. Networks, 2019, 73 (2), pp.234-253. ⟨10.1002/net.21859⟩. ⟨hal-01898054⟩

Pierre Coupechoux, Marc Demange, David Ellison, Bertrand Jouve. Firefighting on Trees. Theoretical Computer Science, 2019, 794, pp.69-84. ⟨10.1016/j.tcs.2019.01.040⟩. ⟨hal-02020751⟩

Margaux Nattaf, Tamás Kis, Christian Artigues, Pierre Lopez. Polyhedral results and valid inequalities for the Continuous Energy-Constrained Scheduling Problem. Discrete Applied Mathematics, 2019, 258, pp.188-203. ⟨10.1016/J.DAM.2018.11.008⟩. ⟨hal-01391403⟩

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan. Complexity Study for the Robust Stable Marriage Problem. Theoretical Computer Science, 2019, 775, pp.76-92. ⟨10.1016/j.tcs.2018.12.017⟩. ⟨hal-01974431⟩

Clément Gazzino, Denis Arzelier, Christophe Louembet, Luca Cerri, Christelle Pittet, et al.. Long-Term Electric-Propulsion Geostationary Station-Keeping via Integer Programming. Journal of Guidance, Control, and Dynamics, 2019, 42 (5), pp.1-16. ⟨10.2514/1.G003644⟩. ⟨hal-02053120⟩

Jean-Thomas Camino, Christian Artigues, Laurent Houssin, Stéphane Mourgues. Linearization of Euclidean norm dependent inequalities applied to multibeam satellites design. Computational Optimization and Applications, 2019, 73 (2), pp.679-705. ⟨10.1007/s10589-019-00083-z⟩. ⟨hal-02066101⟩

Mohamed Siala, Barry O'Sullivan. Combinatorial Search from an Energy Perspective. Information Processing Letters, 2019, 148, pp.23-27. ⟨10.1016/j.ipl.2019.04.002⟩. ⟨hal-02120041⟩

R. Bourbon, Sandra Ulrich Ngueveu, Xavier Roboam, Bruno Sareni, Christophe Turpin, et al.. Energy management optimization of a smart wind power plant comparing heuristic and linear programming methods. Mathematics and Computers in Simulation, 2019, 158, pp.418-431. ⟨10.1016/j.matcom.2018.09.022⟩. ⟨hal-01904983⟩

Conference papers

Oliver Polo Mejia, Christian Artigues, Pierre Lopez. Algorithme glouton et recherche locale arborescente pour le MSPSP avec préemption partielle. 20e congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2019), Feb 2019, Le Havre, France. ⟨hal-02352265⟩

Oliver Polo Mejia, Christian Artigues, Pierre Lopez, Lars Mönch. Memory and feasibility indicators in GRASP for Multi-Skill Project Scheduling with Partial Preemption. XIII Metaheuristics International Conference (MIC 2019), Jul 2019, Carthagène des Indes, Colombia. pp.153-156. ⟨hal-02264213⟩

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⟩

Nabil Absi, Christian Artigues, Safia Kedad-Sidhoum, Sandra Ulrich Ngueveu, Félix Goupil. Bornes pour un problème d'ordonnancement avec allocation et stockage d'énergie et coûts linéaires par morceaux. 20ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2019), Feb 2019, Le Havre, France. ⟨hal-02476793⟩

Denis Arzelier, Florent Bréhard, Mioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials. ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8. ⟨hal-02006606⟩

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⟩

Matthieu Gondran, Marie-José Huguet, Philippe Lacomme, Nikolay Tchernev. Comparison between two approaches to solve the Job-shop Scheduling Problem with Routing. 9th Manufacturing Modelling, Management and Control (MIM), Aug 2019, Berlin, Germany. ⟨hal-02181541⟩

Oliver Polo Mejia, Christian Artigues, Pierre Lopez. A heuristic method for the Multi-Skill Project Scheduling Problem with Partial Preemption. 8th International Conference on Operations Research and Enterprise Systems (ICORES 2019), Feb 2019, Prague, Czech Republic. pp.111-120, ⟨10.5220/0007390001110120⟩. ⟨hal-02264226⟩

Nicola Berti, Christian Artigues, Olga Battaïa, Romain Guillaume, Daria Battini. Heuristic approaches for scheduling manufacturing tasks while taking into account accumulated human fatigue. 9th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2019, Aug 2019, Berlin, Germany. pp.963-968, ⟨10.1016/j.ifacol.2019.11.319⟩. ⟨hal-02962577⟩

Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet, Tom van Woensel. Partial Benders decomposition for logistics network design. ROADEF 2019 – 20ème Congrès de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2019, Le Havre, France. ⟨hal-02421624⟩

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan. An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem. Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-19212-9_21⟩. ⟨hal-02062127⟩

Other documents

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. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩

Reports

Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Léo Martire, et al.. Global Probability of Collision: Problem modeling via occupation measures. DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019. ⟨hal-02077552⟩

Preprints, Working Papers, ...

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Learning Fair Rule Lists. 2019. ⟨hal-03248831⟩

Some public source codes and softwares from the group's research.


BDDEncoding, a python library to learn a Boolean decision diagrams via MaxSAT

https://gitlab.laas.fr/roc/hao-hu/bddencoding


Blossom, an algorithm for computing optimal decision trees

https://gitlab.laas.fr/ehebrard/blossom


ChromSAT, a CDCL-based graph coloring solver

https://gitlab.laas.fr/roc/emmanuel-hebrard/chromsat


fairCORELS, a Python library for learning fair and interpretable models

https://github.com/ferryjul/fairCORELS


FAIRScoringSystems, a framework to generate interpretable and fair AI models for multi-class classification

https://gitlab.laas.fr/roc/julien-rouzot/fairscoringsystemsv0


LNS-MMRCPSP, a CPOptimizer-based approach to solve uncertain multi-mode project scheduling problems

https://gitlab.laas.fr/roc/christian-artigues/lns-mmrcpsp


MaxSAT Decision Trees, a python library to learn decision trees from via MaxSAT

https://gitlab.laas.fr/roc/hao-hu/maxsat-decision-trees


MCTS, a C++ library to design Monte-Carlo Tree Search algorithms guided by reinforcement learning for combinatorial problems

https://gitlab.laas.fr/roc/valentin-antuori/MCTS


Mistral, a constraint programming solver

https://github.com/ehebrard/Mistral-2.0.git


Two Stage Scheduling Using POGS, a python CPOptimizer-based approach to robust scheduling via compilation into "permutable operation groups"

https://gitlab.laas.fr/roc/louis-riviere/two-stage-scheduling-using-pogs

THESIS / HDR

2023

Louis Rivière, Thèse: Représentation compacte d'ensemble de solutions pour l'ordonnancement sous incertitude

Aloïs Duguet, Thèse: Approximation linéaire par morceaux de fonctions de deux variables avec erreur bornée pour la résolution de problèmes d'optimisation non linéaire mixte en nombres entiers

Julien Ferry, Thèse: Adresser l’interprétabilité, l’équité et la protection de la vie privée en apprentissage machine au travers des méthodes d’optimisation combinatoire

Carla Juvin, Thèse: Méthodes hybrides pour l'ordonnancement disjonctif avec flexibilité de ressources et considération de robustesse

2022

Hao Hu, Thèse: Interpretable Machine Learning Models via Maximum Boolean Satisfiability

Valentin Antuori, Thèse: Guider la recherche arborescente pour la résolution de problèmes industriels : apprentissage par renforcement et méthodes de Monte Carlo

Quentin Fabry, Thèse: Ordonnancement de camions dans une plateforme logistique : complexité, méthodes de résolution et incertitudes

Léa Blaise, Thèse: Modélisation et résolution de problèmes d’ordonnancement au sein du solveur d’optimisation mathématique LocalSolver

2019

Estele Glize, Thèse: Méthodes exactes pour les problèmes combinatoires bi-objectif : Application sur les problèmes de tournées de véhicules

Simon Belieres, Thèse: Programmation mathématiques pour la plannification tactique du transport dans une chaîne logistique multi-produits

Oliver Polo Mejia, Thèse: Approche par recherche opérationnelle de l'optimisation du fonctionnement d'un laboratoire en milieu nucléaire

2018

Pierre-Antoine Morin, Thèse: Planification et ordonnancement de projets sous contraintes de ressources complexes

Idir Hamaz, Thèse: Méthodes d'optimisation robuste pour les problèmes d'ordonnancement cyclique

Mikael Capelle, Thèse: Optimisation pour les communications optiques dans les systèmes d’observation de la Terre

Pierre Coupechoux, Thèse: Codes et jeux de soustraction et de poursuite dans les graphes

Ulrich Matchi Aïvodji, Thèse: Technologies respectueuses de la vie privée pour le covoiturage

2017

Yun He, Thèse: Problèmes de tournée avec prise en compte explicite de la consommation d'énergie

2016

Clément Carbonnel, Thèse: Algorithmes paramétrés pour des problèmes de satisfaction de contraintes presque traitables

Margaux Nattaf, Thèse: Ordonnancement sous contraintes d’énergie

Gregoire Scano, Thèse: Calcul d'itinéraires multiples et de trajets synchronisés dans des réseaux de transport multimodaux

Leticia Gloria Vargas Suarez, Thèse: Un opérateur de programmation dynamique pour les méta-heuristiques pour résoudre les problèmes de tournées de véhicules avec des visites optionnelles

Nadia Chaabane, Thèse: Recherche de flots stables dans des réseaux de transport multi-agents

2015

Mohamed Siala, Thèse: Recherche, propagation et apprentissage dans les problèmes de séquencement et d'ordonnancement

2014

Yacine Gaoua, Thèse: Modèles mathématiques et techniques d’optimisation non linéaire et combinatoire pour la gestion d’énergie d’un système multi-source : vers une implantation temps-réel pour différentes structures électriques de véhicules hybrides

Mariem Trojet, Thèse: Planification d'une chaîne logistique: approche par satisfaction de contraintes dynamiques

OTHER TEAMS OF DEPARTMENT

Jobs / Interships

MORE JOB OFFERS

REJOINDRE

Notre équipe de recherche

Pour plus d’informations sur les offres d’emploi, vous pouvez contacter