A SAT-based approach to learn explainable decision sets
scientific article; zbMATH DE number 6958127