The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$ (Q2818001): Difference between revisions

@@ Property / describes a project that uses @@
+MaxHS
@@ Property / describes a project that uses: MaxHS / rank @@
+Normal rank
@@ 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.1007/978-3-319-40970-2_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2467022100
@@ Property / OpenAlex ID: W2467022100 / rank @@
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+Autocorrelation coefficient for the graph bipartitioning problem
+Normal rank
@@ Property / cites work @@
+On the classification of NP-complete problems in terms of their correlation coefficient
+Normal rank
@@ Property / cites work @@
+On the landscape ruggedness of the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258216
@@ Property / cites work: Q4258216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the cross-entropy method
@@ Property / cites work: A tutorial on the cross-entropy method / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
+Normal rank
@@ Property / cites work @@
+Autocorrelation measures for the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / 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 @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / 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 @@
+Exploiting the deep structure of constraint problems
+Normal rank