Fiche de OUDIN Rémi

Informations professionnelles


Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Employeur: ENS Paris Saclay


Date de debut de thèse: 1 octobre 2019
Directeur de thèse: Fabrice KORDON (LIP6)
Encadrant : Julien SOPENA (LIP6)
Sujet de thèse: SAT-solving,: one clausebase to rule them all Numéro PRD: 7028
Contrat thèse: ENS/X

Date de prévisionnelle de soutenance: 30 septembre 2022