Le moteur de recherche
des thèses françaises
Gilles Audemard
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Calcul distribué
Intelligence artificielle
Algorithmes
Programmation par contraintes
Intelligence Artificielle
Satisfiabilité propositionnelle
Problèmes de satisfaction de contraintes
Résolution parallèle
Hybridation
Calcul des propositions
WCSP
Contraintes souples
Subtituabilité souple
Cohérences souples
Cohérence (informatique)
Solveur
Parallélisme
Logique