SAT-based Decision Tree Learning for Large Data Sets.

André Schidler Stefan Szeider

Published in: AAAI (2021)

Keyphrases

decision tree learning
constructive induction
version space
decision trees
data sets
attribute values
ensemble methods
sat solvers
meta learning
decision tree induction
learning algorithm
genetic algorithm
knowledge base
information gain
domain theory