Abstract
Moritz Müller, Stefan Szeider. The Treewidth of Proofs. Information and Computation, volume 255, pages 147-164, 2017.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Moritz Müller, Stefan Szeider. The Treewidth of Proofs. Information and Computation, volume 255, pages 147-164, 2017.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.