Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
scientific article