The SAT phase transition

Science in China, Series E: Technological Sciences

Volumn 42, Issue 5, 1999, Pages 494-501

  Xu, Ke ^a   Li, Wei ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Phase transition; SAT problem; Structure of solutions

Indexed keywords

EID: 0346676207     PISSN: 10069321     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02917402     Document Type: Article

References (5)

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, in Proc. 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, in Proc. of CP-96, Lecture Notes in Computer Science, Berlin: Springer, 1996, 1118: 119.