Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable

Abstract

Full Citation:

Stefan Szeider. Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable. Journal of Computer and System Sciences, volume 69, number 4, pages 656-674, 2004.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.