The threshold for random k-SAT is 2 k log 2 ? O(k), Journal of the American Mathematical Society, vol.17, issue.04, pp.947-973, 2004. ,
DOI : 10.1090/S0894-0347-04-00464-3
Poisson approximation and the chen-stein method, Statistical Science, vol.5, issue.4, pp.403-424, 1990. ,
A linear-time algorithm for testing the truth of certain quantified boolean formulas, Information Processing Letters, vol.8, issue.3, pp.121-123, 1979. ,
DOI : 10.1016/0020-0190(79)90002-4
Poisson Approximation, 1992. ,
A variational description of the ground state structure in random satisfiability problems, The European Physical Journal B, vol.14, issue.3, pp.551-568, 2000. ,
DOI : 10.1007/s100510051065
Random graphs, volume 73, 2001. ,
The scaling window of the 2-SAT transition. Random Structures Algorithms, pp.201-256, 2001. ,
Mick gets some (the odds are on his side), Proc. 33rd Symp Foundations of Computer Science, pp.620-627, 1992. ,
The complexity of theorem-proving procedures, STOC '71: Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971. ,
On random 2-SAT. unpublished manuscript, 1992. ,
Fitness Landscapes and the Origin of Species. Monographs in Population Biology, 2004. ,
A threshold for unsatisfiability, Mathematical foundations of computer science, pp.264-274, 1992. ,
DOI : 10.1007/3-540-55808-X_25
Percolation on fitness landscapes: Effects of correlation, phenotype, and incompatibilities, Journal of Theoretical Biology, vol.248, issue.4, pp.627-645, 2007. ,
DOI : 10.1016/j.jtbi.2007.07.009
The origins of order, 1993. ,
On the threshold distribution function of cycles in a directed random graph, Studia Scientiarum Mathematicarum Hungarica, vol.6, pp.67-73, 1971. ,
On the limit distribution of the number of cycles in a random graph, Journal of Applied Probability, pp.359-376, 1988. ,
The roles of mutation, inbreeding, crossbreeding and selection in evolution, Proceedings of the Sixth International Congress on Genetics, pp.356-366, 1932. ,