Exact and approximate discrete optimization algorithms for finding useful disjunctions of categorical predicates in data analysis
scientific article; zbMATH DE number 2115222