Parameterized Proof Complexity

Dantchev, Stefan S.; Martin, Barnaby; Szeider, Stefan

doi:10.1007/s00037-010-0001-1

by Stefan S. Dantchev, Barnaby Martin, Stefan Szeider

Reference:

Parameterized Proof ComplexityStefan S. Dantchev, Barnaby Martin, Stefan SzeiderComputational Complexity, volume 20, number 1, pages 51-85, 2011.

Bibtex Entry:

@string{comcom="Computational Complexity"}
@article{DantchevMartinSzeiderS11,
  author    = {Stefan S. Dantchev and
               Barnaby Martin and
               Stefan Szeider},
  title     = {Parameterized Proof Complexity},
  journal   = ComCom,
  volume    = {20},
  number    = {1},
  pages     = {51-85},
  year      = {2011},
  doi       = {10.1007/s00037-010-0001-1},
}