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.
Witness Generation for JSON Schema
Data-Centric Languages and Systems
Monday 30 May 2022 - 00:00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI
.............................................