Olivier Dubois Yacine Boufkhad Jacques Mandler Typical random 3-SAT formulae and the satisfiability threshold http://arxiv.org/abs/cs.DM/0211036 2002 CoRR cs.DM/0211036 db/journals/corr/corr0211.html#cs-DM-0211036 informal publication