Are Hitting Formulas Hard for Resolution?

Stefan Szeider
January 2023
Cite Project Project DOI
Type
Journal Article
Reveal Slim
Stefan Szeider
Stefan Szeider
Head of Research Unit

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