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… CONTINUE READING