Siu On Chan, Michael Molloy: A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems. FOCS 2008: 634-643