SAT-Based Rigorous Explanations for Decision Lists.

Alexey Ignatiev João P. Marques Silva

Published in: SAT (2021)

Keyphrases

decision lists
concept classes
decision trees
attribute efficient learning
version space
sat solvers
pac learning
sample complexity
term dnf
rule sets
learning theory
domain theory
concept class
genetic programming
learning problems
objective function
reinforcement learning
learning algorithm