Le moteur de recherche
des thèses françaises
Dominique Quadri
IdRefMots clés
FR |
EN
Optimisation combinatoire
Recherche opérationnelle
Programmation linéaire
Programmation en nombres entiers
Apprentissage
Apprentissage automatique
Optimisation mathématique
Routage (informatique)
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