A. Miyauchi, T. Sonobe, and N. Sukegawa, “Exact Clustering via Integer Programming and Maximum Satisfiability”, AAAI, vol. 32, no. 1, Apr. 2018.