Michael Molloy, Mohammad R. Salavatipour. The Resolution Complexity of Random Constraint Satisfaction Problems. SIAM Journal on Computing, 37(3):895-922, 2007. [doi]
@article{MolloyS07,
title = {The Resolution Complexity of Random Constraint Satisfaction Problems},
author = {Michael Molloy and Mohammad R. Salavatipour},
year = {2007},
doi = {10.1137/S0097539703436485},
url = {http://dx.doi.org/10.1137/S0097539703436485},
tags = {constraints},
researchr = {https://researchr.org/publication/MolloyS07},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {37},
number = {3},
pages = {895-922},
}