The Treewidth of Proofs

Moritz Müller, Stefan Szeider
January 2017
PDF bib

Abstract

Full Citation:

Moritz Müller, Stefan Szeider. The Treewidth of Proofs. 2017, Technical report AC-TR-17-010, Algorithms and Complexity Group, TU Wien.

Type
Technical Report
Stefan Szeider
Stefan Szeider
Head of Research Unit

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