Smooth and sharp thresholds for random<i>{k}</i>-XOR-CNF satisfiability (Q4825480): Difference between revisions

@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q3682518
@@ Property / cites work: Q3682518 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost all graphs with 1.44n edges are 3-colorable
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability threshold for random XOR-CNF formulas
+Normal rank
@@ Property / cites work @@
+Q4952608
@@ Property / cites work: Q4952608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3286850
@@ Property / cites work: Q3286850 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Analysis of Two Simple Heuristics on a Random Instance ofk-sat
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693063
@@ Property / cites work: Q4693063 / rank @@
+Normal rank
@@ Property / cites work @@
+Poisson convergence and Poisson processes with applications to random graphs
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Random graphs and systems of linear equations in finite fields
+Normal rank
@@ Property / cites work @@
+Q4222739
@@ Property / cites work: Q4222739 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypercycles in a random hypergraph
@@ Property / cites work: Hypercycles in a random hypergraph / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600562
@@ Property / cites work: Q5600562 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811427
@@ Property / cites work: Q3811427 / rank @@
+Normal rank