Juha Harviainen, Frank Sommer, Manuel Sorge, Stefan Szeider. Optimal Decision Tree Pruning Revisited: Algorithms and Complexity. Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025, 2025, OpenReview.net.