E. Demirović and P. J. Stuckey, “Optimal Decision Trees for Nonlinear Metrics”, AAAI, vol. 35, no. 5, pp. 3733-3741, May 2021.