Full Citation:
Andr'e Schidler, Stefan Szeider. SAT-based Decision Tree Learning for Large Data Sets. Journal of Artificial Intelligence Research, volume 80, pages 875-918, 2024.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.