Recherche Opérationnelle/Optimisation Combinatoire/Contraintes

- roc -


L'équipe ROC mène des recherches sur les problèmes d'optimisation combinatoire et les méthodes algorithmiques pour les résoudre, à la frontière entre Recherche Opérationnelle et Intelligence Artificielle.


L'équipe ROC mène des recherches sur les problèmes d'optimisation combinatoire et les méthodes algorithmiques pour les résoudre, à la frontière entre Recherche Opérationnelle et Intelligence Artificielle.

Animation scientifique

Cette page présente l'animation scientifique au sein de l'équipe ROC.

+

Notre Recherche

Problèmes d'Optimisation Combinatoire

L'équipe ROC propose des modèles et des algorithmes variés pour plusieurs classes de problèmes d'optimisation combinatoire, comme les problèmes d'ordonnancement, de tournées de véhicules, d'allocation de ressources et plus généralement des problèmes combinatoires dans des graphes.

+

Méthodes Computationnelles

L'équipe ROC contribue à la résolution efficaces d'instances de problèmes d'optimisation combinatoires difficiles en concevant et implémentant des approches de programmation par contraintes, de programmation mixte en nombres entiers, des méthodes hybrides ainsi que des algorithmes dédiés

+

Applications

L'équipe cherche à confronter les méthodes proposées au monde réel en prenant en compte le génie industriel, les facteurs humains et/ou les enjeux environnementaux. Des applications industrielles sont développées dans des domaines variés qui incluent le transport, la production, la gestion de la chaine logistique, la gestion de l'énergie, l'aéronautique et l'espace.

+

Focus

Propriétés Structurelles et Approximations avec Garanties

L'équipe mène des recherches pour établir des propriétés structurelles et des approximations avec garanties de performance pour des problèmes d'optimisation combinatoire et d'autres problèmes de calcul. Ces travaux comprennent les études de complexité et d'approximabilité, des comparaisons théoriques de schémas de linéarisation, des approximations linéaires par morceaux et polynomiales, des études polyédrales, des résultats en théorie des graphes

+

Optimisation sous Incertitudes

Les paramètres d'un problème d'optimisation sont souvent sujets à des incertitudes de tout ordre. L'équipe s'intéresse à des problématiques d'optimisation combinatoire robuste, en particulier en ordonnancement sous incertitudes. Une voie de recherche consiste à proposer des structures flexibles de solutions pour la prise en compte proactive des aléas en facilitant le réajustement des solutions calculées, notamment en prédéterminant la faisabilité de permutations au sein de séquences de tâches. Une autre voie cherche à obtenir des avancées en optimisation discrète robuste pour l'ordonnancement

+

Optimisation Combinatoire & Apprentissage

L'équipe explore les relations entre l'optimisation combinatoire et les techniques d'apprentissage, selon deux voies complémentaires. D'une part, nous cherchons à intégrer des mécanismes d’apprentissage au sein de la recherche arborescente pour la résolution de problèmes. D'autre part, de manière duale, d'autres travaux ont pour but d'améliorer les techniques d'apprentissage automatique en y intégrant des méthodes d'optimisation combinatoire.

+

Optimisation Multi-Agent & Multi-Objectif

L'équipe s'intéresse aux aspects coopératifs, décentralisés et distribués des décisions, liés à la présence de plusieurs centres de décision qui interagissent dans nombre d'applications. L'équipe mène ainsi des recherches en programation mathématique multi-objectif. Au sein de problèmes d'optimisation multi-agents L'équipe explore également la recherche de solutions d'équilibre au sens de la théorie des jeux qui sont aussi non dominées au sens de Pareto. Enfin, l'équipe s'intéresse à l'optimisation combinatoire distribuée, notamment pour des raisons de sécurité ou de respect de données privées.

+

Dernières Publications

2024

Articles dans une revue

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⟩

Communications dans un congrès

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. ⟨hal-04189566v2⟩

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⟩

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⟩

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⟩

Pré-publications, documents de travail

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⟩

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⟩

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⟩

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

2023

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Chapitres d’ouvrages

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⟩

Communications dans un congrès

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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. 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⟩

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⟩

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⟩

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⟩

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⟩

Rapports

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⟩

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⟩

Pré-publications, documents de travail

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

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

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

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⟩

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

2022

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Communications dans un congrès

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Comptes rendus de conférences

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⟩

Pré-publications, documents de travail

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⟩

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⟩

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⟩

Marc Dambrine, Ch Dossal, Bénédicte Puig, Aude Rondepierre. Stochastic Differential Equations for modeling first order optimization methods. 2022. ⟨hal-03630785⟩

2021

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

Communications dans un congrès

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Pré-publications, documents de travail

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⟩

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⟩

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

2020

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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

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⟩

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⟩

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⟩

Communications dans un congrès

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⟩

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⟩

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. 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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Autres 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⟩

Rapports

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

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Communications dans un congrès

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Autres 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⟩

Rapports

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⟩

Pré-publications, documents de travail

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

Quelques codes sources et logiciels publics issus des recherches de l'équipe ROC.


BDDEncoding, une bibliothèque Python pour la synthèse (via MaxSAT) de diagrammes de décision booléens pour la classification

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


Blossom, un algorithme pour la synthèses d'arbres de décisions optimaux

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


ChromSAT, un approche basée sur l'apprentissage de clauses pour la coloration de graphes

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


fairCORELS, implémentation d’un algorithme d’apprentissage machine supervisé produisant des modèles interprétables (rule lists) et respectant des contraintes (paramétrables) d’équité selon plusieurs métriques de la littérature

  • Version 1 :

module python : https://pypi.org/project/faircorels/

code source : https://github.com/ferryjul/fairCORELS

  • Version 2 : version améliorée utilisant une approche PLNE et une nouvelle structure de données pour élaguer efficacement l’espace de recherche de l’algorithme et permettre l’apprentissage de modèles interprétables et équitables avec garantie d’optimalité

module python : https://pypi.org/project/faircorelsv2/

code source : https://github.com/ferryjul/fairCORELSV2


FairnessSampleRobustness : Intégration dans deux algorithmes d’apprentissage supervisé équitable de la littérature de nos approches exactes et heuristiques visant à améliorer la généralisation de l’équité statistique en utilisant une méthode d’optimisation robuste à l’échantillonnage

https://github.com/ferryjul/FairnessSampleRobustness


FAIRScoringSystems, une plateforme pour la synthèse de modèles équitables et interprétables pour la classification multi-classe

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


HybridCorels, implémentation d’un algorithme d’apprentissage machine supervisé produisant des modèles hybrides interprétables (composés d’une partie interprétable par nature, et d’une partie boîte-noire (agnostique) dont le but est de classifier les exemples les plus difficiles)

module python : https://github.com/ferryjul/HybridCORELS

code source : https://github.com/ferryjul/fairCORELSV2


LNS-MMRCPSP, une approche basée sur CPOptimizer pour résoudre le "multi-mode project scheduling problem" sous incertitude

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


MaxSAT Decision Trees, une bibliothèque Python pour la synthèse (via MaxSAT) d'arbres de décision pour la classification

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


MCTS, une bibliothèque C++ pour la conception de méthodes de recherche arborescente de Monte-Carlo guidée par apprentissage par renforcement pour les problèmes combinatoires

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


Mistral, un solveur de programmation par contraintes

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


SensitiveAttributesReconstruction : implémentation d’une attaque d’inférence visant à reconstruire les attributs sensibles de l’ensemble d’entraînement d’un modèle d’apprentissage, en utilisant une information relative à l’équité de ce modèle

https://github.com/ferryjul/SensitiveAttributesReconstructionCorrector/


Two Stage Scheduling Using POGS, une approche basé sur CPOptimizer pour l'ordonnancement robuste par compilation en "groupes d'opérations permutables"

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


Thèses / HDR soutenues

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

LES AUTRES ÉQUIPES DU DÉPARTEMENT

Emplois / Stages

PLUS D’OFFRES

REJOINDRE

Notre équipe de recherche

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