Full Citation:
Andr'e Schidler, Stefan Szeider. SAT-based Decision Tree Learning for Large Data Sets. Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, pages 3904-3912, 2021, AAAI Press.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.