L. P. Staus, C. Komusiewicz, F. Sommer, and M. Sorge, “Witty: An Efficient Solver for Computing Minimum-Size Decision Trees”, AAAI, vol. 39, no. 19, pp. 20584–20591, Apr. 2025.