Paper "Cost-Optimal Constrained Correlation Clustering via Weighted Partial Maximum Satisfiability" accepted to Artificial Intelligence