Gérard Verfaillie
IdRefMots clés
FR |
EN
Intelligence artificielle
Optimisation combinatoire
Résolution de problème -- Informatique
Programmation par contraintes
Planification
Contraintes (intelligence artificielle)
Algorithmes
Modèles mathématiques
Systèmes experts (informatique)
Markov, Processus de
Planification -- Informatique
Systèmes embarqués (informatique)
Satellites artificiels en télédétection
Programmation dynamique
Optimisation par colonies de fourmis
Recherche opérationnelle
Programmation Par Contraintes (PPC)
Langages de programmation
Satellite de télécommunication
Validation