Hashing-based approximate counting of minimal unsatisfiable subsets
scientific article; zbMATH DE number 7938227
scientific article