The number of satisfying assignments of random 2‐SAT formulas (Q6074640): Difference between revisions

@@ Property / cites work @@
+On the concentration of the number of solutions of random satisfiability formulas
+Normal rank
@@ Property / cites work @@
+Q2768371
@@ Property / cites work: Q2768371 / rank @@
+Normal rank
@@ Property / cites work @@
+Random <i>k</i>‐SAT: Two Moments Suffice to Cross a Sharp Threshold
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q2798999
@@ Property / cites work: Q2798999 / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiability threshold for random linear equations
+Normal rank
@@ Property / cites work @@
+Combinatorics and complexity of partition functions
+Normal rank
@@ Property / cites work @@
+The Monge-Kantorovich problem: achievements, connections, and perspectives
+Normal rank
@@ Property / cites work @@
+The Evolution of Random Graphs
@@ Property / cites work: The Evolution of Random Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The scaling window of the 2-SAT transition
@@ Property / cites work: The scaling window of the 2-SAT transition / rank @@
+Normal rank
@@ Property / cites work @@
+Length of prime implicants and number of solutions of random CNF formulae
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+The replica symmetric phase of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Information-theoretic thresholds 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 @@
+The Number of Satisfying Assignments of Random Regular<i>k</i>-SAT Formulas
+Normal rank
@@ Property / cites work @@
+Random 2-SAT with prescribed literal degrees
@@ Property / cites work: Random 2-SAT with prescribed literal degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Random MAX SAT, random MAX CUT, and their phase transitions
+Normal rank
@@ Property / cites work @@
+Ising models on locally tree-like graphs
@@ Property / cites work: Ising models on locally tree-like graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Factor models on locally tree-like graphs
@@ Property / cites work: Factor models on locally tree-like graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Thresholds for Cuckoo Hashing via XORSAT
@@ Property / cites work: Tight Thresholds for Cuckoo Hashing via XORSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability threshold for random regular \textsc{nae-sat}
+Normal rank
@@ Property / cites work @@
+Proof of the Satisfiability Conjecture for Large k
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+The 3-XORSAT threshold.
@@ Property / cites work: The 3-XORSAT threshold. / rank @@
+Normal rank
@@ Property / cites work @@
+Random 2-SAT: Results and problems
@@ Property / cites work: Random 2-SAT: Results and problems / rank @@
+Normal rank
@@ Property / cites work @@
+Replica bounds for optimization problems and diluted spin systems
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Broken replica symmetry bounds in the mean field spin glass model
+Normal rank
@@ Property / cites work @@
+Gibbs states and the set of solutions of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Component behavior near the critical point of the random graph process
+Normal rank
@@ Property / cites work @@
+Information, Physics, and Computation
@@ Property / cites work: Information, Physics, and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Entropy of the<i>K</i>-Satisfiability Problem
@@ Property / cites work: Entropy of the<i>K</i>-Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2934721
@@ Property / cites work: Q2934721 / rank @@
+Normal rank
@@ Property / cites work @@
+Spin glass models from the point of view of spin distributions
+Normal rank
@@ Property / cites work @@
+On the replica symmetric solution of the \(K\)-sat model
+Normal rank
@@ Property / cites work @@
+Bounds for diluted mean-fields spin glass models
@@ Property / cites work: Bounds for diluted mean-fields spin glass models / rank @@
+Normal rank
@@ Property / cites work @@
+The Satisfiability Threshold for<i>k</i>-XORSAT
@@ Property / cites work: The Satisfiability Threshold for<i>k</i>-XORSAT / rank @@
+Normal rank
@@ Property / cites work @@
+On the Number of Solutions in Random Graph<i>k</i>-Colouring
+Normal rank
@@ Property / cites work @@
+Solving Sparse Random Instances of Max Cut and Max 2-CSP in Linear Expected Time
+Normal rank
@@ Property / cites work @@
+The high temperature case for the random \(K\)-sat problem
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank