1. Li Wei, Huang Wenqi, A mathematic-physical approach to the satisfiability problem,Science in China, Ser. A, 1995, 38(1): 116.
2. Gent, I. P., Walsh, T., The SAT phase transition, inProc. of ECAI-94 (ed. Cohn, A.), New York: John Wiley, 1994, 105–109.
3. Borow, D. G., Brady, M. (eds.),Special Volume on Frontiers in Problem Solving: Phase Transitions and Complexity (Guest editors: Hogg, T., Huberman, B. A., Williams, C. P.),Artif. Intell., 1996, 81(1–2): 1.
4. Selman, B., Kirkpatrick, S., Critical behavior in the computational cost of satisfiability testing,Artif. Intell, 1996, 81: 273.
5. Clark, D. A., Frank, J., Gent, I. P. et al., Local search and the number of solutions, inProc. of CP-96, Lecture Notes in Computer Science, Berlin: Springer, 1996, 1118: 119.