A SAT-Based Approach to Learn Explainable Decision Sets | Publicación