Dominique Quadri
Mots clés
FR |
EN
Optimisation combinatoire
Programmation linéaire
Recherche opérationnelle
Apprentissage
Apprentissage automatique
Optimisation mathématique
Routage (informatique)
Programmation en nombres entiers
Vérification de modèles
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Programmation dynamique
Vérification de modèles modulo theories
Vérification déductive
Satisfiabilité modulo théories
Systèmes distribués
Apprentissage non supervisé
Logiciels -- Vérification
Recherche Opérationnelle
Système de Stockage d'Energie Multi-Batteries