Fiche de OUDIN Rémi

Informations professionnelles


Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Equipe: MoVe
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
Date de prévisionnelle de soutenance: 30 septembre 2022