Synthesizing Fair Decision Trees via Iterative Constraint Solving
      Authors: Jingbo Wang, Yannan Li and Chao Wang
Paper Information
| Title: | Synthesizing Fair Decision Trees via Iterative Constraint Solving | 
| Authors: | Jingbo Wang, Yannan Li and Chao Wang | 
| Proceedings: | CAV 2022 All Papers | 
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan | 
| Keywords: | synthesis, constraint solving, decision tree, fairness | 
| Pages: | 21 | 
| Talk: | Aug 10 14:20 (Session 115A: Machine Learning) | 
| Paper: |  | 
