Miyauchi, A.; Sonobe, T.; Sukegawa, N. Exact Clustering via Integer Programming and Maximum Satisfiability. AAAI 2018, 32.