Home » évènement » Soutenance de thèse d’Arthur GODET (équipe TASC)
Chargement Évènements
  • Cet évènement est passé

Soutenance de thèse d’Arthur GODET (équipe TASC)

23 septembre @ 14 h 00 min - 17 h 00 min

Arthur Godet, doctorant au sein de l’équipe TASC, soutiendra sa thèse intitulée « Sur le tri de tâches pour résoudre des problèmes d’ordonnancement avec la program­mation par contraintes » / « On the use of tasks ordering to solve scheduling problems with constraint programming« 
jeudi 23 septembre 2021 à 14h, à IMT Atlantique – campus de Nantes en salle C114. La soutenance sera retransmise en direct sur Webex (1759749054@imtatlantique.webex.com).
Jury :
– Directeur de thèse : Nicolas BELDICEANU Professeur à IMT Atlantique
– Co-directeur de thèse : Xavier LORCA Directeur centre Génie Industriel à IMT Mines Albi-Carmaux
– Encadrant de thèse : Gilles SIMONIN Maître de conférences à IMT Atlantique
– Rapporteurs : Christian ARTIGUES Directeur de recherche au LAAS-CNRS ; Claude-Guy QUIMPER Professeur à l’Université Laval
– Examinateurs : Hadrien CAMBAZARD Maître de conférences à l’Université Grenoble Alpes ; Samir LOUDNI Professeur à IMT Atlantique ; Christine SOLNON Professeure à l’INSA de Lyon
 
Résumé : Au cours des deux dernières décennies, la programmation par contraintes s’est illustrée de par son efficacité à résoudre des problèmes d’ordonnancement. Grâce à la grande expressivité permise par le paradigme, différents algorithmes et techniques de résolution provenant d’autres domaines de l’Optimisation Combinatoire ont pu être intégrés au sein des solveurs de contraintes. Toutefois, cette grande expressivité fait que les solveurs ne sont pas des boîtes noires et demandent une expertise pour être paramétrés correctement pour résoudre effica­cement les problèmes souhaités. Dans cette  thèse, nous explorons l’introduction et l’utilisation d’algorithmes de liste ordonnée en programmation par contraintes pour résoudre  des problèmes d’ordonnancement. Nous revi­sitons également la contrainte AllDiffPrec, dé­finie comme une contrainte Alldifferent et des précédences entre variables, pour laquelle nous proposons également un nouvel algorithme de filtrage.
Mots-clés : programmation par contraintes, ordonnancement, AllDiffPrec, liste ordonnée
——————————————————————————————————————————————————————————————————————-
Abstract: During the last two decades, Constraint Programming gets very good results ­to solve scheduling problems. Thanks to the great expressivity of the paradigm, different al gorithms and solving techniques from other fields within Combinatorial Optimisation have been integrated into constraint solvers. However this great expressivity cornes with a price:  constraint solvers are not the black box one might think of and require expertise to be correctly configured to efficiently solve problems. ln this thesis, we explore the introduction and the use of list ordering algorithms into Constraint Programming to solve scheduling problems. We also revisit the AIIDiffPrec constraint, defined as an Allditferent constraint with precedence between some variables, for which we propose a new filtering algorithm.
Keywords: constraint programming, scheduling, ordering, AllDiffPrec, list ordering

Détails

Date :
23 septembre
Heure :
14 h 00 min - 17 h 00 min
Organisateur
LS2N

Catégories d’évènement:
,
Étiquettes évènement :
, ,

Lieu

IMT Atlantique
4 Rue Alfred Kastler
Nantes, 44300
+ Google Map
Téléphone :
02 51 85 81 00
Site :
http://www.imt-atlantique.fr/fr
Copyright : LS2N 2017 - Mentions Légales - 
 -