Partenaires
Accueil du site > Thèses et HDR > Thèses en cours > Optimisation booléenne multi-objectif
Optimisation booléenne multi-objectif
Titre : Optimisation booléenne multi-objectif.
Doctorant : Emmanuel Lonca.
Directeurs : Daniel Le Berre et Pierre Marquis.
Co-encadrant : Anne Parrain.
Dans la même rubrique :
- Développement de logiques non-classiques pour la gestion des préférences et de l’incertitude.
- Optimisation distribuée pour les problèmes de contraintes pondérées
- MSR PhD Scholarship on Parallel SAT Solving
- Imposer des contraintes moins restrictives dans un CSP
- Résolution parallèle du problème SAT
- Intégration de paradigmes de contraintes
- Contributions aux techniques de représentation de la connaissance et du raisonnement
- Compilation de préférences - application à la configuration de produits
- Analyse et regroupement automatique de textes courts à des fins statistiques
- Logiques qualitatives pour la gestion des préférences
- Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
- Fusion des logiques de description incertaines
- Changement de croyances et logiques modales
- Parallélisation de systèmes de contraintes complexes
- Dynamique des Systèmes d’Argumentation
- Autour de la décision possibiliste qualitative
- Compilation de connaissances : des formules logiques aux réseaux bayésiens
- Contributions aux problèmes SAT