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]
@article{ChanM13,
title = {A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems},
author = {Siu On Chan and Michael Molloy},
year = {2013},
doi = {10.1137/110832240},
url = {http://dx.doi.org/10.1137/110832240},
researchr = {https://researchr.org/publication/ChanM13},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {42},
number = {1},
pages = {27-60},
}