Walksat Stalls Well Below Satisfiability (Q5267998): Difference between revisions

@@ Property / cites work @@
+Q5501251
@@ Property / cites work: Q5501251 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution‐space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Random <i>k</i>‐SAT: Two Moments Suffice to Cross a Sharp Threshold
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs
+Normal rank
@@ Property / cites work @@
+The large deviations of the whitening process in random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q3140436
@@ Property / cites work: Q3140436 / rank @@
+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 @@
+A Better Algorithm for Random <i>k</i>-SAT
@@ Property / cites work: A Better Algorithm for Random <i>k</i>-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+On belief propagation guided decimation for random k-SAT
+Normal rank
@@ Property / cites work @@
+Analyzing Walksat on Random Formulas
@@ Property / cites work: Analyzing Walksat on Random Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The asymptotic \(k\)-SAT threshold
@@ Property / cites work: The asymptotic \(k\)-SAT threshold / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the Satisfiability Conjecture for Large k
+Normal rank
@@ Property / cites work @@
+Q4226449
@@ Property / cites work: Q4226449 / rank @@
+Normal rank
@@ Property / cites work @@
+Limits of local algorithms over sparse random graphs
+Normal rank
@@ Property / cites work @@
+-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General
+Normal rank
@@ Property / cites work @@
+Q3113688
@@ Property / cites work: Q3113688 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing Survey Propagation Guided Decimation on Random Formulas
+Normal rank
@@ Property / cites work @@
+Q4736839
@@ Property / cites work: Q4736839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501274
@@ Property / cites work: Q5501274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4519896
@@ Property / cites work: Q4519896 / rank @@
+Normal rank
@@ Property / cites work @@
+Gibbs states and the set of solutions of random constraint satisfaction problems
+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 @@
+Cores in random hypergraphs and Boolean formulas
@@ Property / cites work: Cores in random hypergraphs and Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Frozen variables in random boolean constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Local algorithms for independent sets are half-optimal
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank