Probabilistic characterization of random Max $r$-Sat (Q2042075): Difference between revisions

@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCLS
@@ Property / describes a project that uses: CCLS / rank @@
+Normal rank
@@ 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.1016/j.disopt.2021.100630
+Normal rank
@@ Property / OpenAlex ID @@
+W3133801428
@@ Property / OpenAlex ID: W3133801428 / rank @@
+Normal rank
@@ Property / cites work @@
+The Normalized Autocorrelation Length of Random Max  $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
+Normal rank
@@ Property / cites work @@
+Q4258216
@@ Property / cites work: Q4258216 / rank @@
+Normal rank
@@ Property / cites work @@
+On a combinatorial game
@@ Property / cites work: On a combinatorial game / rank @@
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+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 @@
+On the classification of NP-complete problems in terms of their correlation coefficient
+Normal rank
@@ Property / cites work @@
+Exploiting the deep structure of constraint problems
+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 @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+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 @@
+The asymptotic k-SAT threshold
@@ Property / cites work: The asymptotic k-SAT threshold / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the Satisfiability Conjecture for Large k
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+On the landscape ruggedness of the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+Autocorrelation measures for the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+Autocorrelation coefficient for the graph bipartitioning problem
+Normal rank
@@ Property / cites work @@
+Q5179037
@@ Property / cites work: Q5179037 / rank @@
+Normal rank

Probabilistic characterization of random Max \(r\)-Sat (Q2042075): Difference between revisions

Latest revision as of 07:30, 26 July 2024

Statements

Sitelinks

Mathematics(1 entry)