arXiv 2000-04-16 EN Exact Phase Transitions in Random Constraint Satisfaction Problems Xu, Ke · Li, Wei