Informations professionnelles
Statut: Doctorant
ED: EDITE
Unité de recherche: LIP6
Equipe: MoVe
Employeur: Renault Date de debut de thèse: 15 février 2020 Directeur de thèse: Tewfik ZIADI (LIP6) Encadrant : Lom Messan HILLAH (LIP6) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Hybridation de méthodes de compilation de contraintes, solveurs SAT, méthodes d’apprentissage pour maîtriser la complexité de la gamme RENAULT
Equipe: MoVe
Employeur: Renault Date de debut de thèse: 15 février 2020 Directeur de thèse: Tewfik ZIADI (LIP6) Encadrant : Lom Messan HILLAH (LIP6) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Hybridation de méthodes de compilation de contraintes, solveurs SAT, méthodes d’apprentissage pour maîtriser la complexité de la gamme RENAULT