Gilles Audemard
Mots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Calcul distribué
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
Solveurs (logiciels)