Informations professionnelles
Statut: Doctorant en plus de quatre
ED: EDITE
Unité de recherche: LIP6
Equipe: MoVe
Employeur: Sorbonne Université Date de debut de thèse: 1 novembre 2020 Directeur de thèse: Souheib BAARIR (LIP6) Encadrant : Claude DUTHEILLET (LIP6) Sujet de thèse: Exploitation des symétries locales pour la résolution des problèmes SAT.
Equipe: MoVe
Employeur: Sorbonne Université Date de debut de thèse: 1 novembre 2020 Directeur de thèse: Souheib BAARIR (LIP6) Encadrant : Claude DUTHEILLET (LIP6) Sujet de thèse: Exploitation des symétries locales pour la résolution des problèmes SAT.