S. Verwer and Y. Zhang, “Learning Optimal Classification Trees Using a Binary Linear Program Formulation”, AAAI, vol. 33, no. 01, pp. 1625-1632, Jul. 2019.