Le moteur de recherche
des thèses françaises
Bertrand Mazure
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Représentation des connaissances
Hybridation
Programmation par contraintes
Intelligence artificielle
Calcul des propositions
Satisfiabilité propositionnelle
Problèmes de satisfaction de contraintes
Résolution parallèle
Algorithmes
Raisonnement spatial et temporel
Contraintes qualitatives
Problème de satisfiabilité
Problème de l'étiquetage minimal
Problème de redondance
Logique spatio-temporelle
Logique spatiale
Logique temporelle
Logique propositionnelle