17 January 2019

Séminaire ACS

Séminaire de Mohammed M'Saad
17 January 2019, 14h0016h00
St. Jérôme, salle des commissions
Partenaires de l'évènement

Prochains évènements

Retour à l'agenda
20 December 2018

Séminaire CaNa : 20 décembre à 14h : SAT est NP-complet, la preuve !

Résumé : Ne croyez pas ce que l'on vous a dit, le théorème de Cook-Levin n'est pas si difficile que cela à démontrer... J'ai longtemps admis cette preuve, et après l'avoir lue dans le livre de Sylvain Perifel, j'ai envie de la partager ! Venez ajouter LA brique de base à vos connaissances en complexité, ou simplement réviser :-)

Tutelles