Xing, J. (2020). Implementation and Evaluation of Counting-Based Search for Table Constraints in the OscaR Solver [Master's thesis, Polytechnique Montréal]. Available