stage chez Huawei (1): Information Exchange Evaluation of Parallel SAT Solvers

Par ai2d, 29 décembre, 2019

voir pdf joint.

Lieu
Boulogne-Billancourt
Thématiques
Aide à la Décision
Encadrant
Jean-Marie Lagnez
Référent universitaire
n/a
Tags
Stage
Attribué
Non
Année
2020