Olivier Dubois Yacine Boufkhad Jacques Mandler Typical random 3-SAT formulae and the satisfiability threshold Electronic Colloquium on Computational Complexity (ECCC) 2003 007 db/journals/eccc/eccc10.html#ECCC-TR03-007 10 http://eccc.hpi-web.de/eccc-reports/2003/TR03-007/index.html