AC2001-OP: An Arc-Consistency Algorithm for Constraint Satisfaction Problems | Publicación