Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms | Publicación