TY  - RPRT
TI  - On Explaining Random Forests with SAT
AU  - Yacine Izza
AU  - Joao Marques-Silva
PY  - 2021
UR  - https://arxiv.org/abs/2105.10278
ID  - 2105.10278
ER  -