Ateam
Activités de recherche
L'équipe Ateam travaille sur des problèmes d'algorithmique, d'optimisation et de recherche opérationnelle. Leurs travaux portent à la fois sur des problèmes théoriques (analyse de complexité, comptage de solutions, algorithmes on-line, théorie de l'ordonnancement et satisfaction de contraintes) et sur des méthodes de résolution de problèmes plus appliquées (issus de partenaires industriels : Thales R&T, Thales TAS, Eurocontrol). Ces dernières méthodes sont basées sur des techniques de programmation par contraintes et de programmation linéaire en nombres entiers.