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