Schidler, A. and Szeider, S. 2021. SAT-based Decision Tree Learning for Large Data Sets. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3904-3912. DOI:https://doi.org/10.1609/aaai.v35i5.16509.