The SAT Phase Transition

Details The SAT Phase Transition The SAT Phase Transition

2000-05-22

arxiv.org/abs/cs/0005024v2

The SAT Phase Transition. Science in China, Series E, 42(5):494-501, 1999

Computer Science

Artificial Intelligence

13 pages, 3 figures

Scientific paper

Phase transition is an important feature of SAT problem. For random k-SAT model, it is proved that as r (ratio of clauses to variables) increases, the structure of solutions will undergo a sudden change like satisfiability phase transition when r reaches a threshold point. This phenomenon shows that the satisfying truth assignments suddenly shift from being relatively different from each other to being very similar to each other.

Affiliated with

Also associated with

No associations

Rating

The SAT Phase Transition does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The SAT Phase Transition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The SAT Phase Transition will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-82714