Revisiting Space in Proof Complexity: Treewidth and Pathwidth.

Moritz Mller, Stefan Szeider

Browse the full MFCS paper archive.