Using sequential runtime distributions for the parallel speedup prediction of SAT local search | Publicación