Mohammadalitajrishi, M. (2019). Solving Systems of Linear Equalities in Modular Arithmetic with Applications to Model Counting in Constraint Programming [Mémoire de maîtrise, Polytechnique Montréal]. Disponible