Thesis title: Solving Systems of Linear Equalities in Modular Arithmetic with Applications to Model Counting in Constraint Programming Presented by: Mahshid Mohammadalitajrishi Program: Computer Engineering and Software Engineering Department: Dép. de génie informatique et génie logiciel
Jury
President: Daniel Aloise, Ph. D. Research Director: Gilles Pesant, Ph. D. Member: Louis-Martin Rousseau, Ph. D.