Staus, L. P. (2025) “Witty: An Efficient Solver for Computing Minimum-Size Decision Trees”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(19), pp. 20584–20591. doi: 10.1609/aaai.v39i19.34268.