Minimal Unsatisfiable Formulas with Bounded Clause-Variable Difference are Fixed-Parameter Tractable.

Stefan Szeider

Browse the full COCOON paper archive.