Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119): Difference between revisions

@@ Property / describes a project that uses @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaxHS
@@ Property / describes a project that uses: MaxHS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCASat
@@ Property / describes a project that uses: CCASat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / 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/s10878-022-00907-5
+Normal rank
@@ Property / OpenAlex ID @@
+W4298132557
@@ Property / OpenAlex ID: W4298132557 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving configuration checking for satisfiable random \(k\)-SAT instances
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+On the classification of NP-complete problems in terms of their correlation coefficient
+Normal rank
@@ Property / cites work @@
+On the landscape ruggedness of the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+Q4258216
@@ Property / cites work: Q4258216 / rank @@
+Normal rank
@@ Property / cites work @@
+The Normalized Autocorrelation Length of Random Max  $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the cross-entropy method
@@ Property / cites work: A tutorial on the cross-entropy method / rank @@
+Normal rank
@@ Property / cites work @@
+Local search for Boolean satisfiability with configuration checking and subscore
+Normal rank
@@ Property / cites work @@
+New local search methods for partial MaxSAT
@@ Property / cites work: New local search methods for partial MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Improved exact algorithms for MAX-SAT
@@ Property / cites work: Improved exact algorithms for MAX-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
+Normal rank
@@ Property / cites work @@
+Autocorrelation measures for the quadratic assignment problem
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+The asymptotic k-SAT threshold
@@ Property / cites work: The asymptotic k-SAT threshold / rank @@
+Normal rank
@@ Property / cites work @@
+Random MAX SAT, random MAX CUT, and their phase transitions
+Normal rank
@@ Property / cites work @@
+Q5365069
@@ Property / cites work: Q5365069 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+Q2770544
@@ Property / cites work: Q2770544 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the Satisfiability Conjecture for Large k
+Normal rank
@@ Property / cites work @@
+A multi-restart iterated local search algorithm for the permutation flow shop problem minimizing total flow time
+Normal rank
@@ Property / cites work @@
+On a combinatorial game
@@ Property / cites work: On a combinatorial game / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+The traveling salesman problem and its variations
@@ Property / cites work: The traveling salesman problem and its variations / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial approximation algorithms for the TSP and the QAP with a factorial domination number
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+A refined branching algorithm for the maximum satisfiability problem
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Combining simulated annealing with local search heuristics
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Guided local search for solving SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
+Normal rank
@@ Property / cites work @@
+Bounds on Greedy Algorithms for MAX SAT
@@ Property / cites work: Bounds on Greedy Algorithms for MAX SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds
+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 @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2091119