Approximating the unsatisfiability threshold of random formulas (Extended Abstract)

This publication has 9 references indexed in Scilit:

• Tail bounds for occupancy and the satisfiability threshold conjecture
  Random Structures & Algorithms, 1995
• Critical Behavior in the Satisfiability of Random Boolean Expressions
  Science, 1994
• The Maple Handbook
  Published by Springer Nature ,1994
• Ten Lectures on the Probabilistic Method
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1994
• Mick gets some (the odds are on his side) (satisfiability)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Poisson approximation for large deviations
  Random Structures & Algorithms, 1990
• The harmonic mean formula for probabilities of unions: applications to sparse random graphs
  Discrete Mathematics, 1989
• Many hard examples for resolution
  Journal of the ACM, 1988
• Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
  Discrete Applied Mathematics, 1983