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

Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet

This paper presents a detailed analysis of the scalability and parallelization of local search algorithms for the Satisfiability problem. We propose a framework to estimate the par…