Parallel Execution Models for Constraint Propagation | Publicación