(1)
Schidler, A.; Szeider, S. SAT-Based Decision Tree Learning for Large Data Sets. AAAI 2021, 35, 3904-3912.