Jakob Nordström, Alexander A. Razborov. On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution. Electronic Colloquium on Computational Complexity (ECCC), 16:100, 2009. [doi]
@article{NordstromR09,
title = {On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution},
author = {Jakob Nordström and Alexander A. Razborov},
year = {2009},
url = {http://eccc.hpi-web.de/report/2009/100},
researchr = {https://researchr.org/publication/NordstromR09},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {16},
pages = {100},
}