Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
scientific article; zbMATH DE number 1857075