On the satisfiability threshold and clustering of solutions of random 3-SAT formulas (Q955013): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.06.053
+Normal rank
@@ Property / OpenAlex ID @@
+W2001001966
@@ Property / OpenAlex ID: W2001001966 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q125756943
@@ Property / Wikidata QID: Q125756943 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution-space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Pruning processes and a new characterization of convex geometries
+Normal rank
@@ Property / cites work @@
+Survey propagation as local equilibrium equations
@@ Property / cites work: Survey propagation as local equilibrium equations / rank @@
+Normal rank
@@ Property / cites work @@
+Almost all graphs with 1.44n edges are 3-colorable
+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 @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Bounding the unsatisfiability threshold of random 3-SAT
+Normal rank
@@ Property / cites work @@
+Tail bounds for occupancy and the satisfiability threshold conjecture
+Normal rank
@@ Property / cites work @@
+The probabilistic analysis of a greedy satisfiability algorithm
+Normal rank
@@ Property / cites work @@
+The unsatisfiability threshold revisited
@@ Property / cites work: The unsatisfiability threshold revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the unsatisfiability threshold of random formulas
+Normal rank
@@ Property / cites work @@
+A new look at survey propagation and its generalizations
+Normal rank
@@ Property / cites work @@
+Q4237477
@@ Property / cites work: Q4237477 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:955013