Gilles Audemard
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Calcul distribué
Intelligence artificielle
Algorithmes
Programmation par contraintes
Inférence
SAT reasoning test
Statistique mathématique
Calcul des propositions
Colonies d'abeilles
Solveurs SAT
Parallèle
Modèles de programmation hybride
Programmation parallèle (informatique)
Résolution de problème -- Informatique
Représentation des connaissances et raisonnement
Intention
Logique épistémique dynamique
Jeux à information incomplète