Using graph addition-contraction to compute tighter bounds in hybrid MaxSAT/CP solving for Correlation Clustering
Published:
Using a MaxSAT-based approach for solving the correlation clustering problem exactly, and comparing state of the art implementations from literature. Paper.