TY - RPRT TI - An Average Analysis of Backtracking on Random Constraint Satisfaction Problems AU - Ke Xu AU - Wei Li PY - 2000 UR - https://arxiv.org/abs/cs/0005011 ID - cs/0005011 ER -