Chun Kong Yung: Resolution Complexity of Random Constraint Satisfaction Problems. University of Toronto, Canada 2016