TY - RPRT TI - Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning AU - Gelin Zhang AU - Zhe Hou AU - Yanhong Huang AU - Jianqi Shi AU - Hadrien Bride AU - Jin Song Dong AU - Yongsheng Gao PY - 2021 UR - https://arxiv.org/abs/2103.02191 ID - 2103.02191 ER -