Belaïd Benhamou
Belaïd Benhamou a rédigé les 2 thèses suivantes :
Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes syntaxiques
par Belaïd Benhamou et Lakhdar Saïs sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique et mathématiques. Intelligence artificielle
Soutenue en 1993
Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes sémantiques
par Lakhdar Saïs et Belaïd Benhamou sous la direction de Pierre Siegel - Aix-Marseille 1
Informatique et mathématiques. Intelligence artificielle
Soutenue en 1993
Belaïd Benhamou a dirigé les 7 thèses suivantes :
Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques
par Tarek Khaled sous la direction de Belaïd Benhamou - Aix-Marseille
Informatique
Soutenue le 16-12-2019
Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones
par Tarek Nabhani sous la direction de Belaïd Benhamou et de Richard Ostrowski . - Aix-Marseille 1
Informatique
Soutenue le 09-12-2011
Recherche locale et méthodes évolutives pour les problèmes MAX-SAT et PDG
par Dalila Boughaci sous la direction de Belaïd Benhamou - Aix-Marseille 1
Informatique et mathématiques
Soutenue en 2008
Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée
par Lionel Paris sous la direction de Belaïd Benhamou et de Pierre Siegel . - Aix-Marseille 1
Informatique
Soutenue en 2007
Etude de la symétrie et de la dominance dans les réseaux de contraintes au sens CSPs [Constraint satisfaction problems] à domaines finis discrets
par Mohamed Réda Saïdi sous la direction de Belaïd Benhamou - Aix-Marseille 1
Informatique
Soutenue en 2007
Révision et fusion d'information à base de contraintes linéaires : application à l'information géogaphique et temporelle
par Mahat Khelfallah sous la direction de Belaïd Benhamou et de Robert Jeansoulin . - Aix-Marseille 1
Informatique
Soutenue en 2005
Résolution du problème SAT et génération de modèles finis en logique du premier ordre
par Gilles Audemard sous la direction de Belaïd Benhamou - Aix-Marseille 1
Informatique
Soutenue en 2001
Belaïd Benhamou a été rapporteur de la thèse suivante :
Logiques IFO-QCL et gestion des informations partielles en théorie des possibilités : application à la corrélation d'alertes
par Lydia Benlabiod (Bouzar) sous la direction de Salem Benferhat et de Thouraya Bouabana-Tebibel . - Artois
Informatique
Soutenue le 28-06-2015
