On the average similarity degree between solutions of random \(k\)-SAT and random CSPs. (Q1421490): Difference between revisions

@@ Property / cites work @@
+Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)
+Normal rank
@@ Property / cites work @@
+Rigorous results for random (\(2+p)\)-SAT
@@ Property / cites work: Rigorous results for random (\(2+p)\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: A more accurate picture
+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 @@
+Random constraint satisfaction: Flaws and structure
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Approximating the unsatisfiability threshold of random formulas
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+Q4887479
@@ Property / cites work: Q4887479 / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of phase transitions in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+An Average Time Analysis of Backtracking
@@ Property / cites work: An Average Time Analysis of Backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+Locating the phase transition in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Exploiting the deep structure of constraint problems
+Normal rank
@@ Property / cites work @@
+The SAT phase transition
@@ Property / cites work: The SAT phase transition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / cites work @@
+An average analysis of backtracking on random constraint satisfaction problems
+Normal rank