Exact location of the phase transition for random (1,2)-QSAT (Q5245725): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+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 @@
+Q3624065
@@ Property / cites work: Q3624065 / rank @@
+Normal rank
@@ Property / cites work @@
+New Results on the Phase Transition for Random Quantified Boolean Formulas
+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 @@
+A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic Estimates of Stirling Numbers
@@ Property / cites work: Asymptotic Estimates of Stirling Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Random 2-SAT and unsatisfiability
@@ Property / cites work: Random 2-SAT and unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+On the critical exponents of random <i>k</i>‐SAT
+Normal rank