An ILP Solver for Multi-label MRFS with Connectivity Constraints. - Ruobing Shen; Eric Kendinibilir; Ismail Ben Ayed; Andrea Lodi 001; Andrea Tramontani; Gerhard Reinelt (CoRR, 2017)