The SAT Phase Transition

@inproceedings{Gent1994TheSP,
  title={The SAT Phase Transition},
  author={Ian P. Gent and Toby Walsh},
  booktitle={ECAI},
  year={1994}
}
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consistency of features in the phase transition despite the presence in some of the problem classes of clauses of mixed lengths. For instance, each of the problem classes considered has a sharp transition from satisfiable to unsatisfiable problems at a critical value. In addition, there is a common easy-hard-easy pattern… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 169 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 104 extracted citations

169 Citations

051015'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 169 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…