most citedTypical random 3-SAT formulae and the satisfiability threshold

146 citations

researchers with a paper here

1 paper

cs.DM2002★ 146 cited

Typical random 3-SAT formulae and the satisfiability threshold

Olivier Dubois, Yacine Boufkhad, Jacques Mandler

We present a new structural (or syntatic) approach for estimating the satisfiability threshold of random 3-SAT formulae. We show its efficiency in obtaining a jump from the previou…