The Treewidth of Proofs

Müller, Moritz; Szeider, Stefan

doi:10.1016/j.ic.2017.05.005

by Moritz Müller, Stefan Szeider

Reference:

The Treewidth of ProofsMoritz Müller, Stefan SzeiderInformation and Computation, volume 255, pages 147–164, 2017.

Bibtex Entry:

@string{infcomp="Information and Computation"}
@article {MuellerSzeider17,
  author    = {Moritz M{\"{u}}ller and Stefan Szeider},
     title = {The Treewidth of Proofs},
   journal = InfComp,
 volume    = {255},
  pages     = {147--164},
  year      = {2017},
  pdf       = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-17-010.pdf},
  doi       = {10.1016/j.ic.2017.05.005},
}