LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Informations

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

Plus d'informations ici

 Mentions légales
Carte du site |