Using sequential runtime distributions for the parallel speedup prediction of SAT local search

Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet. Using sequential runtime distributions for the parallel speedup prediction of SAT local search. TPLP, 13(4-5):625-639, 2013. [doi]

Abstract

Abstract is missing.