Parallel Execution Models for Constraint Programming over Finite Domains | Publicación