Fiche de SAOULI Sabrine

Informations professionnelles


Statut: Doctorant en deuxième année
ED: EDITE
Unité de recherche: LIP6
Employeur: SU


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. Numéro PRD: 7650
Contrat thèse: Gouv. financements etrangers