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

Video here …

Mentions légales
Mappa del sito