2-Xor revisited: satisfiability and probabilities of functions (Q727973): Difference between revisions

@@ Property / arXiv ID @@
+.07813
@@ Property / arXiv ID: 1511.07813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146776
@@ Property / cites work: Q4146776 / rank @@
+Normal rank
@@ Property / cites work @@
+Random maps, coalescing saddles, singularity analysis, and Airy phenomena
+Normal rank
@@ Property / cites work @@
+The asymptotic number of labeled connected graphs with a given number of vertices and edges
+Normal rank
@@ Property / cites work @@
+The Boolean functions computed by random Boolean formulas or how to grow the right function
+Normal rank
@@ Property / cites work @@
+And/Or Trees Revisited
@@ Property / cites work: And/Or Trees Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The growing tree distribution on Boolean functions.
+Normal rank
@@ Property / cites work @@
+Q4769056
@@ Property / cites work: Q4769056 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability threshold for random XOR-CNF formulas
+Normal rank
@@ Property / cites work @@
+Smooth and sharp thresholds for random<i>{k}</i>-XOR-CNF satisfiability
+Normal rank
@@ Property / cites work @@
+Q3154710
@@ Property / cites work: Q3154710 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the Satisfiability Threshold for Random k-XOR-formulas
+Normal rank
@@ Property / cites work @@
+Q3624065
@@ Property / cites work: Q3624065 / 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 @@
+Counting connected graphs asymptotically
@@ Property / cites work: Counting connected graphs asymptotically / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities of 2-Xor Functions
@@ Property / cites work: Probabilities of 2-Xor Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic Description of the Phase Transition of Inhomogeneous Multigraphs
+Normal rank
@@ Property / cites work @@
+Random Trees
@@ Property / cites work: Random Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267900
@@ Property / cites work: Q3267900 / rank @@
+Normal rank
@@ Property / cites work @@
+The first cycles in an evolving graph
@@ Property / cites work: The first cycles in an evolving graph / rank @@
+Normal rank
@@ Property / cites work @@
+Airy phenomena and analytic combinatorics of connected graphs
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+The fraction of large random trees representing a given Boolean function in implicational logic
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Logic Are Asymptotically Identical
+Normal rank
@@ Property / cites work @@
+Associative and commutative tree representations for Boolean functions
+Normal rank
@@ Property / cites work @@
+Probabilities of Boolean functions given by random implicational formulas
+Normal rank
@@ Property / cites work @@
+Intuitionistic vs. Classical Tautologies, Quantitative Comparison
+Normal rank
@@ Property / cites work @@
+The birth of the giant component
@@ Property / cites work: The birth of the giant component / rank @@
+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 @@
+Counting connected graphs inside-out
@@ Property / cites work: Counting connected graphs inside-out / rank @@
+Normal rank
@@ Property / cites work @@
+How frequently is a system of 2-linear Boolean equations solvable?
+Normal rank
@@ Property / cites work @@
+The number of connected sparsely edged graphs
@@ Property / cites work: The number of connected sparsely edged graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The number of connected sparsely edged graphs. III. Asymptotic results
+Normal rank
@@ Property / cites work @@
+Q5488260
@@ Property / cites work: Q5488260 / rank @@
+Normal rank