Pairs of SAT-assignments in random Boolean formulæ (Q2481970): Difference between revisions

@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase transitions and the search problem
@@ Property / cites work: Phase transitions and the search problem / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Q4375776
@@ Property / cites work: Q4375776 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+Instability of one-step replica-symmetry-broken phase in satisfiability problems
+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 @@
+Coloring Random Graphs
@@ Property / cites work: Coloring Random Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Two solutions to diluted \(p\)-spin models and XORSAT problems
+Normal rank
@@ Property / cites work @@
+The 3-XORSAT threshold.
@@ Property / cites work: The 3-XORSAT threshold. / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution-space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On the dynamics of the glass transition on Bethe lattices
+Normal rank
@@ Property / cites work @@
+Geometrical organization of solutions to random linear Boolean equations
+Normal rank
@@ Property / cites work @@
+Smooth and sharp thresholds for random<i>{k}</i>-XOR-CNF satisfiability
+Normal rank
@@ Property / cites work @@
+Combinatorial sharpness criterion and phase transition classification for random CSPs
+Normal rank
@@ Property / cites work @@
+Supersaturated graphs and hypergraphs
@@ Property / cites work: Supersaturated graphs and hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Hunting for sharp thresholds
@@ Property / cites work: Hunting for sharp thresholds / rank @@
+Normal rank
@@ Property / cites work @@
+The phase transition in a random hypergraph
@@ Property / cites work: The phase transition in a random hypergraph / rank @@
+Normal rank