Counting minimal unsatisfiable subsets
scientific article; zbMATH DE number 7498186
scientific article