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]

Abstract

Abstract is missing.