Cooperative parallel SAT local search with path relinking (Q2057122): Difference between revisions

@@ 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 @@
+Tabu search for nonlinear and parametric optimization (with links to genetic algorithms)
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+Combining Adaptive Noise and Look-Ahead in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+An overview of parallel SAT solving
@@ Property / cites work: An overview of parallel SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Protein Structure Alignment Using Maximum Cliques
+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 @@
+A ``logic-constrained'' knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite
+Normal rank
@@ Property / describes a project that uses @@
+ManySAT
@@ Property / describes a project that uses: ManySAT / 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/978-3-030-43680-3_6
+Normal rank
@@ Property / OpenAlex ID @@
+W3016089191
@@ Property / OpenAlex ID: W3016089191 / rank @@
+Normal rank