Carl-Elliott Bilodeau Savaria Directeur : Avellaneda, Florent Depuis : 2019 UQAM Sujet de mémoire/thèse Implémentation d’une approche incrémentale pour les solveurs MaxSAT