Exploitation des nouvelles architectures multi coeurs pour la résolution de problèmes SAT

Lien vers la vidéo …

Mentions légales
Carte du site