Séminaire d'équipe(s) Graphs, ALgorithms and Combinatorics
Recherche Opérationnelle à Google
Laurent Perron
12 March 2020, 14:30 Salle/Bat : 445/PCRI-N
Contact :
Activités de recherche : Stochastic Combinatorial Optimization
Résumé :
A travers une série d'exemples, je décrierai les applications de la recherche opérationnelle et de l'optimisation discrète à Google.
Puis je me focaliserai sur l'apport récent des techniques des moteurs SAT (satisfiabilité) et les challenges et opportunités qui lui sont liées.
