EasyChair Smart Slide
SAT-Based Induction of Explainable Decision Trees
SAT-Based Induction of Explainable Decision Trees