146 citations · 158 across the 2 of their papers we have counts for
1 paper · 1 filter
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…