A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems

Siu On Chan, Michael Molloy. A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems. SIAM Journal on Computing, 42(1):27-60, 2013. [doi]

Authors

Siu On Chan

This author has not been identified. Look up 'Siu On Chan' in Google

Michael Molloy

This author has not been identified. Look up 'Michael Molloy' in Google