Abstract
Tomáš Peitl, Stefan Szeider. Are Hitting Formulas Hard for Resolution?. Discr. Appl. Math., volume 337, pages 173–184, 2023.
Type
Tomas Peitl
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.