로그인
통찰 - Parallel Speedup Prediction for SAT Local Search
Analyzing Parallel Speedup Prediction for SAT Local Search Algorithms
Analyzing the scalability and parallelization of local search algorithms for the Satisfiability problem using runtime distributions.
SAT Local Search Parallel Speedup Prediction Using Sequential Runtime Distributions
Predicting parallel performance using runtime distributions.
