Random k -SAT and the power of two choices (Q3192377): Difference between revisions

@@ Property / cites work @@
+Lower bounds for random 3-SAT via differential equations
+Normal rank
@@ Property / cites work @@
+Random <i>k</i>‐SAT: Two Moments Suffice to Cross a Sharp Threshold
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Aggregation models with limited choice and the multiplicative coalescent
+Normal rank
@@ Property / cites work @@
+Avoiding a giant component
@@ Property / cites work: Avoiding a giant component / rank @@
+Normal rank
@@ Property / cites work @@
+Creating a Giant Component
@@ Property / cites work: Creating a Giant Component / rank @@
+Normal rank
@@ Property / cites work @@
+The Evolution of Random Graphs
@@ Property / cites work: The Evolution of Random Graphs / rank @@
+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 @@
+Regular random \(k\)-SAT: Properties of balanced formulas
+Normal rank
@@ Property / cites work @@
+Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
+Normal rank
@@ Property / cites work @@
+A General Upper Bound for the Satisfiability Threshold of Randomr-SAT Formulae
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Embracing the giant component
@@ Property / cites work: Embracing the giant component / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+The Bohman-Frieze process near criticality
@@ Property / cites work: The Bohman-Frieze process near criticality / rank @@
+Normal rank
@@ Property / cites work @@
+Selecting Complementary Pairs of Literals
@@ Property / cites work: Selecting Complementary Pairs of Literals / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding small subgraphs in Achlioptas processes
@@ Property / cites work: Avoiding small subgraphs in Achlioptas processes / rank @@
+Normal rank
@@ Property / cites work @@
+Hamiltonicity thresholds in Achlioptas processes
@@ Property / cites work: Hamiltonicity thresholds in Achlioptas processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the Random Satisfiable Process
@@ Property / cites work: On the Random Satisfiable Process / rank @@
+Normal rank
@@ Property / cites work @@
+Small subgraphs in random graphs and the power of multiple choices
+Normal rank
@@ Property / cites work @@
+Achlioptas process phase transitions are continuous
+Normal rank
@@ Property / cites work @@
+Delaying satisfiability for random 2SAT
@@ Property / cites work: Delaying satisfiability for random 2SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Birth control for giants
@@ Property / cites work: Birth control for giants / rank @@
+Normal rank

Random <i>k</i> -SAT and the power of two choices (Q3192377): Difference between revisions

Latest revision as of 20:54, 10 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)