Optimal Correlation Clustering via MaxSAT | IEEE Conference Publication | IEEE Xplore