Staus, L. P.; Komusiewicz, C.; Sommer, F.; Sorge, M. Witty: An Efficient Solver for Computing Minimum-Size Decision Trees. AAAI 2025, 39, 20584-20591.