20 December 2018

Séminaire CaNa : Kévin Perrot : 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 :-)
20 December 2018, 14h0016h00
Salle du réunion du bâtiment modulaire, Luminy

Prochains évènements

Retour à l'agenda
Tutelles