Generalised and quotient models for random and/or~trees and application to satisfiability (Q727977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2198541579
@@ Property / OpenAlex ID: W2198541579 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08448
@@ Property / arXiv ID: 1507.08448 / rank @@
+Normal rank
@@ Property / cites work @@
+Random <i>k</i>‐SAT: Two Moments Suffice to Cross a Sharp Threshold
+Normal rank
@@ Property / cites work @@
+And/Or Trees Revisited
@@ Property / cites work: And/Or Trees Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A sprouting tree model for random boolean functions
+Normal rank
@@ Property / cites work @@
+The asymptotic k-SAT threshold
@@ Property / cites work: The asymptotic k-SAT threshold / rank @@
+Normal rank
@@ Property / cites work @@
+Going after the k-SAT threshold
@@ Property / cites work: Going after the k-SAT threshold / rank @@
+Normal rank
@@ Property / cites work @@
+Random 2 XORSAT phase transition
@@ Property / cites work: Random 2 XORSAT phase transition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+Balanced And/Or trees and linear threshold functions
+Normal rank
@@ Property / cites work @@
+The fraction of large random trees representing a given Boolean function in implicational logic
+Normal rank
@@ Property / cites work @@
+Associative and commutative tree representations for Boolean functions
+Normal rank
@@ Property / cites work @@
+In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
+Normal rank
@@ Property / cites work @@
+Intuitionistic vs. Classical Tautologies, Quantitative Comparison
+Normal rank
@@ Property / cites work @@
+Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem
+Normal rank
@@ Property / cites work @@
+Q2959882
@@ Property / cites work: Q2959882 / rank @@
+Normal rank
@@ Property / cites work @@
+Some typical properties of large AND/OR Boolean formulas
+Normal rank
@@ Property / cites work @@
+Almost everywhere high nonuniform complexity
@@ Property / cites work: Almost everywhere high nonuniform complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A natural prior probability distribution derived from the propositional calculus
+Normal rank
@@ Property / cites work @@
+Log-concavity of Stirling numbers and unimodality of Stirling distributions
+Normal rank
@@ Property / cites work @@
+Coloring rules for finite trees, and probabilities of monadic second order sentences
+Normal rank