Staus, L. P., Komusiewicz, C., Sommer, F., & Sorge, M. (2025). Witty: An Efficient Solver for Computing Minimum-Size Decision Trees. Proceedings of the AAAI Conference on Artificial Intelligence, 39(19), 20584–20591. https://doi.org/10.1609/aaai.v39i19.34268