12 March 2020, 14h30 Salle/Bat : 445/PCRI-N
Contact :
Activités de recherche : Optimisation combinatoire et stochastique
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.
