Lancelot Normand

Aucune photo de membre !!!!
Directeur : Avellaneda, Florent
Depuis : 2022
UQAM

Sujet de mémoire/thèse

Implémentation d’une approche incrémentale pour les solveurs MaxSAT