Xing, J. (2020). Implementation and Evaluation of Counting-Based Search for Table Constraints in the OscaR Solver [Mémoire de maîtrise, Polytechnique Montréal]. Disponible