Partenaires
Accueil du site > Thèses et HDR > Thèses en cours > Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
Titre : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications.
Doctorant : Jerry Lonlac.
Directeur : Lakhdar Saïs.
Co-encadrant : Saïd Jabbour.
Thèse en co-tutelle.
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
- Optimisation booléenne multi-objectif
- 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
- 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