On finding short resolution refutations and small unsatisfiable subsets
scientific article; zbMATH DE number 5017472