Using sequential runtime distributions for the parallel speedup prediction of SAT local search (Q5398300): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit expressions for moments of order statistics
+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 @@
+On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
+Normal rank
@@ Property / cites work @@
+Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
+Normal rank
@@ Property / cites work @@
+Learning and intelligent optimization. 5th international conference, LION 5, Rome, Italy, January 17--21, 2011. Selected papers
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+Order Statistics
@@ Property / cites work: Order Statistics / rank @@
+Normal rank
@@ Property / cites work @@
+TTT plots: a perl program to create time-to-target plots
+Normal rank
@@ Property / cites work @@
+Probability distribution of solution time in GRASP: an experimental investigation
+Normal rank
@@ Property / cites work @@
+Parallel local search
@@ Property / cites work: Parallel local search / rank @@
+Normal rank
@@ Property / cites work @@
+Restart strategies in optimization: parallel and serial cases
+Normal rank
@@ Property / cites work @@
+Exploiting run time distributions to compare sequential and parallel stochastic local search algorithms
+Normal rank
@@ Property / cites work @@
+Applied parallel computing: industrial computation and optimization. Third international workshop, PARA '96, Lyngby, Denmark, August 18--21, 1996. Proceedings
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1471068413000392
+Normal rank
@@ Property / OpenAlex ID @@
+W1964919668
@@ Property / OpenAlex ID: W1964919668 / rank @@
+Normal rank