
Analyzing the scalability and parallelization of local search algorithms for the Satisfiability problem using runtime distributions.


coremsg

analyzing-parallel-speedup-prediction-for-sat-local-search-algorithms


Analyzing Parallel Speedup Prediction for SAT Local Search Algorithms



Predicting parallel performance using runtime distributions.



SAT Local Search Parallel Speedup Prediction Using Sequential Runtime Distributions
