A branch-and-cut algorithm for the minimum branch vertices spanning tree problem - Silvestri, Selene; Laporte, Gilbert; Cerulli, Raffaele (Computers & Operations Research, 2017)