Random constraint satisfaction: A more accurate picture

This publication has 17 references indexed in Scilit:

• Analysis of Two Simple Heuristics on a Random Instance ofk-sat
  Journal of Algorithms, 1996
• Some pitfalls for experimenters with random SAT
  Artificial Intelligence, 1996
• Approximating the unsatisfiability threshold of random formulas (Extended Abstract)
  Published by Springer Nature ,1996
• On Random 3-sat
  Combinatorics, Probability and Computing, 1995
• Tail bounds for occupancy and the satisfiability threshold conjecture
  Random Structures & Algorithms, 1995
• Critical Behavior in the Satisfiability of Random Boolean Expressions
  Science, 1994
• On a Correlation Inequality of Farr
  Combinatorics, Probability and Computing, 1992
• Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem
  Information Sciences, 1990
• The influence of variables on Boolean functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
  SIAM Journal on Computing, 1986