SAT-Based Rigorous Explanations for Decision Lists.

Alexey Ignatiev João Marques-Silva

Published in: CoRR (2021)

Keyphrases

decision lists
concept classes
decision trees
version space
attribute efficient learning
sample complexity
pac learning
sat solvers
special case
upper bound
rule sets
term dnf