Moritz Müller

Recent Publications

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