Thèse en cours

Analyse de conflits et méthodes incomplètes pour la satisfiabilité propositionnelle

FR

Accès à la thèse

Triangle exclamation pleinLa soutenance a eu lieu le 04/12/2014. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Donia Gatfaoui
Direction : Philippe JegouDjamal Habet
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 18/12/2012
Soutenance le 04/12/2014
Etablissement(s) : Aix-Marseille
Ecole(s) doctorale(s) : Mathématiques et informatique de Marseille (184)
Jury : Président / Présidente : Michel Vasquez
Examinateurs / Examinatrices : Chu min Li, Lakhdar Sais, Philippe Jegou, Djamal Habet