A Simplified Way of Proving Trade-off Results for Resolution

Jakob Nordström. A Simplified Way of Proving Trade-off Results for Resolution. Electronic Colloquium on Computational Complexity (ECCC), 14(114), 2007. [doi]

@article{Nordstrom07,
  title = {A Simplified Way of Proving Trade-off Results for Resolution},
  author = {Jakob Nordström},
  year = {2007},
  url = {http://eccc.hpi-web.de/eccc-reports/2007/TR07-114/index.html},
  researchr = {https://researchr.org/publication/Nordstrom07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  volume = {14},
  number = {114},
}