Estimating parallel runtimes for randomized algorithms in constraint solving | Publicación