The SAT-UNSAT transition for random constraint satisfaction problems (Q1025462): Difference between revisions

@@ Property / DOI @@
-.1016/j.disc.2008.04.025
@@ Property / DOI: 10.1016/j.disc.2008.04.025 / rank @@
-Normal rank
@@ 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.1016/j.disc.2008.04.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2047532073
@@ Property / OpenAlex ID: W2047532073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705349
@@ Property / cites work: Q4705349 / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: A more accurate picture
+Normal rank
@@ Property / cites work @@
+Q4004078
@@ Property / cites work: Q4004078 / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold functions
@@ Property / cites work: Threshold functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized satisfiability problems: Minimal elements and phase transitions.
+Normal rank
@@ Property / cites work @@
+Combinatorial sharpness criterion and phase transition classification for random CSPs
+Normal rank
@@ Property / cites work @@
+Q3154710
@@ Property / cites work: Q3154710 / rank @@
+Normal rank
@@ Property / cites work @@
+A sharp threshold for the renameable-Horn and the \(q\)-Horn properties
+Normal rank
@@ Property / cites work @@
+Q4952608
@@ Property / cites work: Q4952608 / rank @@
+Normal rank
@@ Property / cites work @@
+Supersaturated graphs and hypergraphs
@@ Property / cites work: Supersaturated graphs and hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+A sharp threshold for a random constraint satisfaction problem
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Hunting for sharp thresholds
@@ Property / cites work: Hunting for sharp thresholds / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+The phase transition in a random hypergraph
@@ Property / cites work: The phase transition in a random hypergraph / rank @@
+Normal rank
@@ Property / cites work @@
+Models for Random Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.DISC.2008.04.025
@@ Property / DOI: 10.1016/J.DISC.2008.04.025 / rank @@
+Normal rank