Titre du mémoire : Solving Systems of Linear Equalities in Modular Arithmetic with Applications to Model Counting in Constraint Programming
Présenté par : Mahshid Mohammadalitajrishi
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel

Jury

Président : Daniel Aloise, Ph. D.
Directeur de recherche : Gilles Pesant, Ph. D.
Membre : Louis-Martin Rousseau, Ph. D.

Entrée libre
Bienvenue à tous!