--
Laurent Perron
(Google)
summary:
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.
