Implicates and Prime Implicates in Random 3-SAT

@article{Schrag1996ImplicatesAP,
  title={Implicates and Prime Implicates in Random 3-SAT},
  author={Robert Schrag and James M. Crawford},
  journal={Artif. Intell.},
  year={1996},
  volume={81},
  pages={199-222}
}
It has been observed previously that Random 3SAT exhibits a phase transition at a critical ratio of constraints to variables, where the average frequency of satissability falls abruptly from near 1 to near 0. In this paper we look beyond satissability to implicates and prime implicates of non-zero length and show experimentally that, for any given length, these exhibit their own phase transitions. All of these phase transitions appear to share the same critical point as the well-known… CONTINUE READING