Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.