A model of random industrial SAT (Q2118866): Difference between revisions

@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+Q4862623
@@ Property / cites work: Q4862623 / rank @@
+Normal rank
@@ Property / cites work @@
+Poisson approximation for non-backtracking random walks
+Normal rank
@@ Property / cites work @@
+The Community Structure of SAT Formulas
@@ Property / cites work: The Community Structure of SAT Formulas / 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 @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / 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 @@
+Proof of the Satisfiability Conjecture for Large k
+Normal rank
@@ Property / cites work @@
+On the satisfiability threshold of formulas with three literals per clause
+Normal rank
@@ Property / cites work @@
+Balls and bins: A study in negative dependence
@@ Property / cites work: Balls and bins: A study in negative dependence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187324
@@ Property / cites work: Q5187324 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Generating SAT instances with community structure
@@ Property / cites work: Generating SAT instances with community structure / rank @@
+Normal rank
@@ Property / cites work @@
+Tight lower bound on the probability of a binomial exceeding its expectation
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The probabilistic analysis of a greedy satisfiability algorithm
+Normal rank
@@ Property / cites work @@
+Approximating the unsatisfiability threshold of random formulas
+Normal rank
@@ Property / cites work @@
+Q4153377
@@ Property / cites work: Q4153377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230740
@@ Property / cites work: Q4230740 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine learning-based restart policy for CDCL SAT solvers
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Impact of Community Structure on SAT Solver Performance
+Normal rank
@@ Property / cites work @@
+Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
+Normal rank
@@ Property / cites work @@
+Q4751910
@@ Property / cites work: Q4751910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247202
@@ Property / cites work: Q4247202 / rank @@
+Normal rank