A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems.

Published in: FOCS (2008)

Keyphrases