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