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