Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
scientific article; zbMATH DE number 2137325