SAT-based rigorous explanations for decision lists
scientific article; zbMATH DE number 7495578
scientific article