Author:
Publication: Artificial Intelligence
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
Structured learning modulo theories