A branch-and-cut algorithm for two-level survivable network design problems | Publicación