Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Saïd Jabbour a rédigé la thèse suivante :
De la satisfiabilité propositionnelle aux formules booléennes quantifiées
par Saïd Jabbour sous la direction de Lakhdar Saïs - Artois
Informatique
Soutenue en 2008
Saïd Jabbour a été membre de jury des 3 thèses suivantes :
Fouille de données par contraintes
par Abdelhamid Boudane sous la direction de Lakhdar Saïs - Artois
Informatique
Soutenue le 13-09-2018
Solving the Boolean satisfiability problem using the parallel paradigm
par Benoît Hoessen sous la direction de Gilles Audemard - Artois
Informatique
Soutenue le 10-12-2014
Contributions à la résolution du problème de la Satisfiabilité Propositionnelle
par Jerry Garvin Lonlac Konlac sous la direction de Lakhdar Saïs - Artois
Informatique
Soutenue le 03-10-2014
