Nombre de documents archivés : 2.
Boucher, Steve (2026). « Jeux combinatoires et formules booléennes quantifiées (QBF) : encodages pour le jeu de Tic-Tac-Toe d'Harary » Thèse. Montréal (Québec), Université du Québec à Montréal, Doctorat en informatique.
Boucher, Steve (2019). « Diagnostic automatisé de problèmes réseau » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.