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

@@ 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.1051/ita/2014025
+Normal rank
@@ Property / OpenAlex ID @@
+W1971527654
@@ Property / OpenAlex ID: W1971527654 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5245725