Titre du mémoire : Implementation and Evaluation of Counting-Based Search for Table Constraints in the OscaR Solver
Présenté par : Jinling Xing
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel

Jury

Président : Guillaume-Alexandre Bilodeau, Ph. D.
Directeur de recherche : Gilles Pesant, Ph. D.
Membre : Michel Gendreau, Ph. D.

Entrée libre
Bienvenue à tous!