Using execution logs for improving Pseudo-Boolean propagation | Publicación