Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search

Open in new window