Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: 1 décembre 2016 Date soutenance de thèse: 18 décembre 2019 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Exploitation des symétries dynamiques pour la résolution des problèmes SAT
Date de debut de thèse: 1 décembre 2016 Date soutenance de thèse: 18 décembre 2019 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Exploitation des symétries dynamiques pour la résolution des problèmes SAT