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]

Authors

Jakob Nordström

This author has not been identified. Look up 'Jakob Nordström' in Google

Johan Håstad

This author has not been identified. Look up 'Johan Håstad' in Google