Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: 1 juillet 2016 Date soutenance de thèse: 3 juillet 2019 Directeur de thèse: Fabrice KORDON (LIP6) Encadrant : Julien SOPENA (LIP6) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Parallélisation d'un SAT-solveur
Date de debut de thèse: 1 juillet 2016 Date soutenance de thèse: 3 juillet 2019 Directeur de thèse: Fabrice KORDON (LIP6) Encadrant : Julien SOPENA (LIP6) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Parallélisation d'un SAT-solveur