arXiv 2002-11-26 EN Typical random 3-SAT formulae and the satisfiability threshold Dubois, Olivier · Boufkhad, Yacine · Mandler, Jacques