Supercritical Space-Width Trade-offs for Resolution

Jakob Nordström
Jakob Nordström

SIAM J. Comput., pp. 98-118, 2020.

Cited by: 1|Bibtex|Views0|Links
EI

Abstract:

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...

Code:

Data:

Your rating :
0

 

Tags
Comments