Towards an Optimal Separation of Space and Length in Resolution

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.