Séminaire d'Algorithmique du plateau de Saclay
Le séminaire d'algorithmique du plateau de Saclay est organisé toutes les deux semaines, le vendredi après-midi au LIX.
Séminaires récents et à venir
Recherche Opérationnelle à 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.
Matchings and related structures with Specified Color Properties In Vertex- or Edge-colored Graphs.
summary: We consider problems in edge- or vertex colored graphs. As an example, the Web graph may be considered as a vertex-colored graph where the color of a vertex represents the content of the corresponding page (red for mathematics, yellow for physics, etc.). When the edges/vertices of graphs are ...
The Domino Problem is undecidable on surface groups
summary: The domino problem for a finitely generated group asks whether there exists an algorithm which takes as input a finite alphabet and finitely many Wang tiles, and decides whether there exists a tiling of the group by this set of tiles. I will survey known results and present the ...
Translations: en