(1)
Verwer, S.; Zhang, Y. Learning Optimal Classification Trees Using a Binary Linear Program Formulation. AAAI 2019, 33, 1625-1632.