Parallel Implementation of Constraint Solving* | Publicación