A Benders Decomposition Approach to Correlation Clustering | IEEE Conference Publication | IEEE Xplore