Nombre de documents archivés : 1.
Sall, Amadou (2026). « Solveurs MaxSAT anytime : conception d'un banc d'essai et développement d'un solveur de recherche locale » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.