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