Local search for Boolean satisfiability with configuration checking and subscore (Q490437): Difference between revisions

@@ Property / describes a project that uses @@
+pfolioUZK
@@ Property / describes a project that uses: pfolioUZK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sparrow2011
@@ Property / describes a project that uses: Sparrow2011 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuMVC
@@ Property / describes a project that uses: NuMVC / 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.1016/j.artint.2013.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2097153130
@@ Property / OpenAlex ID: W2097153130 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Stochastic Local Search for SAT with a New Probability Distribution
+Normal rank
@@ Property / cites work @@
+Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break
+Normal rank
@@ Property / cites work @@
+Reactive local search for the maximum clique problem
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+Local search with edge weighting and configuration checking heuristics for minimum vertex cover
+Normal rank
@@ Property / cites work @@
+NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
+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 @@
+Tabu Search—Part I
@@ Property / cites work: Tabu Search—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Tabu Search—Part II
@@ Property / cites work: Tabu Search—Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Local search algorithms for SAT: an empirical evaluation
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+An Empirical Study of Optimal Noise and Runtime Distributions in Local Search
+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 @@
+Q3455584
@@ Property / cites work: Q3455584 / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Theoretical aspects of local search.
@@ Property / cites work: Theoretical aspects of local search. / rank @@
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Defining tabu list size and aspiration criterion within tabu search methods
+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 @@
+Captain Jack: New Variable Selection Heuristics in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
+Normal rank