The k-edge connected subgraph problem: Valid inequalities and Branch-and-Cut | IEEE Conference Publication | IEEE Xplore