The Resolution Complexity of Random Constraint Satisfaction Problems

Michael Molloy, Mohammad R. Salavatipour. The Resolution Complexity of Random Constraint Satisfaction Problems. SIAM Journal on Computing, 37(3):895-922, 2007. [doi]

Abstract

Abstract is missing.