Recherche Opérationnelle à Google
Time: 14:30 -- Location: LRI, 445
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.