Knowledge Tree

researcher / Belaïd Benhamou

Belaïd Benhamou

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques

Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones

Recherche locale et méthodes évolutives pour les problèmes MAX-SAT et PDG

Etude de la symétrie et de la dominance dans les réseaux de contraintes au sens CSPs [Constraint satisfaction problems] à domaines finis discrets

Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée

Révision et fusion d'information à base de contraintes linéaires : application à l'information géogaphique et temporelle

Résolution du problème SAT et génération de modèles finis en logique du premier ordre