Synthesizing Fair Decision Trees via Iterative Constraint Solving.
Jingbo WangYannan LiChao WangPublished in: CAV (2) (2022)
Keyphrases
- constraint solving
- decision trees
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- naive bayes
- machine learning algorithms
- decision rules
- machine learning
- decision tree induction
- feature construction
- decision tree algorithm
- constraint solvers
- predictive accuracy
- decision tree learning
- classification trees