Learning Explainable Decision Rules via Maximum Satisfiability. - Henrik E. C. Cao; Riku Sarlin; Alexander Jung (IEEE Access, 2020)