Supercritical Space-Width Trade-offs for Resolution
SIAM J. Comput., pp. 98-118, 2020.
We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-cas...
Full Text (Upload PDF)
PPT (Upload PPT)