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

@@ Property / DOI @@
-.1007/s11786-010-0040-7
@@ Property / DOI: 10.1007/s11786-010-0040-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+BG-WalkSAT
@@ Property / describes a project that uses: BG-WalkSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ChainSAT
@@ Property / describes a project that uses: ChainSAT / 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.1007/s11786-010-0040-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2168379232
@@ Property / OpenAlex ID: W2168379232 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11786-010-0040-7
@@ Property / DOI: 10.1007/S11786-010-0040-7 / rank @@
+Normal rank