SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.

Mikolás Janota António Morgado

Published in: SAT (2020)

Keyphrases

decision trees
sat encodings
dynamic programming
decision tree induction
boolean satisfiability
orders of magnitude
predictive accuracy
random forest
optimal path
planning problems
machine learning algorithms
decision rules
data mining methods