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

par Donia Gatfaoui (Toumi)

Thèse de doctorat en Informatique

Sous la direction de Philippe Jegou et de Djamal Habet.

Thèses en préparation à Aix-Marseille , dans le cadre de Mathématiques et informatique de Marseille (184) depuis le 18-12-2012 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.