Implicates and Prime Implicates in Random 3

  • SATRobert Schrag
  • Published 1995


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… (More)

4 Figures and Tables


  • Presentations referencing similar topics