Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
scientific article; zbMATH DE number 5633375