Michele Zito. An Upper Bound on the Space Complexity of Random Formulae in Resolution. Electronic Colloquium on Computational Complexity (ECCC), (079), 2001. [doi]
@article{ECCC-TR01-079,
title = {An Upper Bound on the Space Complexity of Random Formulae in Resolution},
author = {Michele Zito},
year = {2001},
url = {http://eccc.hpi-web.de/eccc-reports/2001/TR01-079/index.html},
researchr = {https://researchr.org/publication/ECCC-TR01-079},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {079},
}