Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference
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.