A general model and thresholds for random constraint satisfaction problems (Q359981): Difference between revisions

@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624065
@@ Property / cites work: Q3624065 / 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 @@
+On the satisfiability threshold of formulas with three literals per clause
+Normal rank
@@ Property / cites work @@
+A probabilistic analysis of randomly generated binary constraint satisfaction problems.
+Normal rank
@@ Property / cites work @@
+On the phase transitions of random \(k\)-constraint satisfaction problems
+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 @@
+The satisfiability threshold for randomly generated binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Analysis of Two Simple Heuristics on a Random Instance ofk-sat
+Normal rank
@@ Property / cites work @@
+Random \(k\)-SAT: A tight threshold for moderately growing \(k\)
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q3624064
@@ Property / cites work: Q3624064 / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: Flaws and structure
+Normal rank
@@ Property / cites work @@
+Two Hardness Results on Feedback Vertex Sets
@@ Property / cites work: Two Hardness Results on Feedback Vertex Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411392
@@ Property / cites work: Q4411392 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Models and thresholds for random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The Resolution Complexity of Random Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+An empirical study of phase transitions in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constructing an asymptotic phase transition in random binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Locating the phase transition in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A Note on Treewidth in Random Graphs
@@ Property / cites work: A Note on Treewidth in Random Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples in exact phase transitions
@@ Property / cites work: Many hard examples in exact phase transitions / rank @@
+Normal rank