Chumin Li
IdRefMots clés
FR |
EN
Optimisation combinatoire
Contraintes (intelligence artificielle)
SAT
Fonctions booléennes
Heuristique
Solveurs SAT
Partitionnement de graphes
Métaheuristiques
Résolution de problème -- Informatique
Programmation parallèle (informatique)
Problème SAT
Apprentissage
Intelligence artificielle
Colonies d'abeilles
Parallèle
Calcul distribué
Modèles de programmation hybride
Symétrie locales
Symétries sémantiques
Symétries syntaxiques