Le moteur de recherche
des thèses françaises
Salvador Abreu
IdRefMots clés
FR |
EN
Modélisation par contraintes
Résolution par contraintes
Vérification de programmes
Interprétation abstraite
Vérification de modèles
Programmation par contraintes
Vérification de modèles (informatique)
Résolution de problème -- Informatique
Méta-heuristiques
Problèmes d’optimisation combinatoire
Parallélisme
Métaheuristiques
Optimisation combinatoire
CSP
Programmation heuristique
Parallélisme (informatique)
Langages de programmation
Solveurs (logiciels)