Estimating satisfiability (Q765341): 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.dam.2011.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2912723616
@@ Property / OpenAlex ID: W2912723616 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost all graphs with 2. 522\(n\) edges are not 3-colorable
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: A more accurate picture
+Normal rank
@@ Property / cites work @@
+On the solution-space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4004078
@@ Property / cites work: Q4004078 / rank @@
+Normal rank
@@ Property / cites work @@
+Pruning processes and a new characterization of convex geometries
+Normal rank
@@ Property / cites work @@
+Regular random \(k\)-SAT: Properties of balanced formulas
+Normal rank
@@ Property / cites work @@
+Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
+Normal rank
@@ Property / cites work @@
+On the satisfiability threshold of formulas with three literals per clause
+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 @@
+Tail bounds for occupancy and the satisfiability threshold conjecture
+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 @@
+On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
+Normal rank