Thesis title: Implementation and Evaluation of Counting-Based Search for Table Constraints in the OscaR Solver Presented by: Jinling Xing Program: Computer Engineering and Software Engineering Department: Dép. de génie informatique et génie logiciel
Jury
President: Guillaume-Alexandre Bilodeau, Ph. D. Research Director: Gilles Pesant, Ph. D. Member: Michel Gendreau, Ph. D.