On Explaining Random Forests with SAT | Publicación