Analysis of local search landscapes for \(k\)-SAT instances (Q626907): Difference between revisions

@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+A stopping criterion for logarithmic simulated annealing
+Normal rank
@@ Property / cites work @@
+Stochastic protein folding simulation in the three-dimensional HP-model
+Normal rank
@@ Property / cites work @@
+On the number of matrices and a random matrix with prescribed row and column sums and 0-1 entries
+Normal rank
@@ Property / cites work @@
+An improved deterministic local search algorithm for 3-SAT
+Normal rank
@@ Property / cites work @@
+Asymptotic enumeration of dense 0-1 matrices with specified line sums
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of Local Search with Multiple Local Optima
+Normal rank
@@ Property / cites work @@
+Planning as propositional CSP: From Walksat to local search techniques for action graphs
+Normal rank
@@ Property / cites work @@
+Opportunities for Combinatorial Optimization in Computational Biology
+Normal rank
@@ Property / cites work @@
+A guided tour of Chernoff bounds
@@ Property / cites work: A guided tour of Chernoff bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
+Normal rank
@@ Property / cites work @@
+Statistical mechanics methods and phase transitions in optimization problems
+Normal rank
@@ Property / cites work @@
+Instability of one-step replica-symmetry-broken phase in satisfiability problems
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Statistical analysis of local search landscapes
@@ Property / cites work: Statistical analysis of local search landscapes / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Landscapes
@@ Property / cites work: Combinatorial Landscapes / rank @@
+Normal rank
@@ Property / cites work @@
+A Remark on Stirling's Formula
@@ Property / cites work: A Remark on Stirling's Formula / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic algorithm for \(k\)-SAT based on limited local search and restart
+Normal rank
@@ Property / cites work @@
+An algorithm for the satisfiability problem of formulas in conjunctive normal form
+Normal rank
@@ Property / cites work @@
+Local search characteristics of incomplete SAT procedures
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient local search method for random 3-satisfiability
+Normal rank
@@ Property / cites work @@
+Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
+Normal rank