Jakob Nordström, Johan Håstad. Towards an Optimal Separation of Space and Length in Resolution. Electronic Colloquium on Computational Complexity (ECCC), 15(026), 2008. [doi]
@article{NordstromH08:0,
title = {Towards an Optimal Separation of Space and Length in Resolution},
author = {Jakob Nordström and Johan Håstad},
year = {2008},
url = {http://eccc.hpi-web.de/eccc-reports/2008/TR08-026/index.html},
researchr = {https://researchr.org/publication/NordstromH08%3A0},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {15},
number = {026},
}