Amadou Sall Directeur : Avellaneda, Florent Depuis : 2024 UQAM Sujet de mémoire/thèse Amélioration des solveurs MaxSAT anytime via recherche locale