Solving weighted CSP by maintaining arc consistency | Publicación