Full Citation:
André 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.