The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘) (Q4821034): Difference between revisions

@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k-satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219268
@@ Property / cites work: Q3219268 / rank @@
+Normal rank
@@ Property / cites work @@
+Thick points for planar Brownian motion and the Erdős-Taylor conjecture on random walk
+Normal rank
@@ Property / cites work @@
+Q4391441
@@ Property / cites work: Q4391441 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae
+Normal rank
@@ Property / cites work @@
+Q4952608
@@ Property / cites work: Q4952608 / rank @@
+Normal rank
@@ Property / cites work @@
+Some problems concerning the structure of random walk paths
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Analysis of Two Simple Heuristics on a Random Instance ofk-sat
+Normal rank
@@ Property / cites work @@
+Random \(k\)-SAT: A tight threshold for moderately growing \(k\)
+Normal rank
@@ Property / cites work @@
+Bounding the unsatisfiability threshold of random 3-SAT
+Normal rank
@@ Property / cites work @@
+Q4411392
@@ Property / cites work: Q4411392 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the unsatisfiability threshold of random formulas
+Normal rank