Moritz Müller

Recent Publications

The Treewidth of Proofs

2017

Revisiting Space in Proof Complexity: Treewidth and Pathwidth

2013