Analyse de conflits et méthodes incomplètes pour la satisfiabilité propositionnelle
FR
Auteur / Autrice : | Donia Gatfaoui | |
Direction : | Philippe Jegou, Djamal 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 |