AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints | Publicación