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

@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6201266
@@ Property / zbMATH DE Number: 6201266 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2030163620
@@ Property / OpenAlex ID: W2030163620 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:359981